Skip to content

Conversation

@henryiii
Copy link
Collaborator

Description

This is out, so we should use it.

Signed-off-by: Henry Schreiner <[email protected]>
@henryiii henryiii merged commit fcb5554 into pybind:master Oct 26, 2022
@henryiii henryiii deleted the henryiii/chore/311 branch October 26, 2022 14:41
@github-actions github-actions bot added the needs changelog Possibly needs a changelog entry label Oct 26, 2022
henryiii added a commit to henryiii/pybind11 that referenced this pull request Oct 26, 2022
Signed-off-by: Henry Schreiner <[email protected]>

Signed-off-by: Henry Schreiner <[email protected]>
@henryiii henryiii removed the needs changelog Possibly needs a changelog entry label Oct 31, 2022
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.

2 participants