Skip to content

Conversation

@rwgk
Copy link
Collaborator

@rwgk rwgk commented Aug 15, 2023

@rwgk rwgk marked this pull request as ready for review August 15, 2023 04:44
@rwgk rwgk requested a review from henryiii as a code owner August 15, 2023 04:44
@rwgk rwgk merged commit add281a into pybind:master Aug 15, 2023
@github-actions github-actions bot added the needs changelog Possibly needs a changelog entry label Aug 15, 2023
@rwgk rwgk removed the needs changelog Possibly needs a changelog entry label Aug 15, 2023
@rwgk rwgk deleted the readthedocs_v2 branch August 15, 2023 04:46
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