Skip to content

Conversation

@rwgk
Copy link
Contributor

@rwgk rwgk commented Apr 2, 2024

Description

Merge pybind/pybind11#5086.

Suggested changelog entry:

rwgk added 2 commits April 2, 2024 10:39
This was noticed only when manually reviewing the diffs with the Google review tools.
@rwgk rwgk merged commit 18b3fd6 into main Apr 2, 2024
@rwgk rwgk deleted the sh_fix_merge_accident_pybind11k branch April 2, 2024 18:12
@rwgk
Copy link
Contributor Author

rwgk commented Apr 2, 2024

The CI failures are unrelated. See pybind/pybind11#3939.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant