Skip to content

Conversation

rwgk
Copy link
Collaborator

@rwgk rwgk commented Aug 4, 2022

Description

Noticed by chance: one more build2 needs to be changed to build3

@rwgk rwgk added the python dev Working on development versions of Python label Aug 4, 2022
@rwgk rwgk marked this pull request as ready for review August 5, 2022 15:05
@rwgk rwgk requested a review from henryiii as a code owner August 5, 2022 15:05
@rwgk rwgk merged commit 29f4940 into pybind:master Aug 5, 2022
@rwgk rwgk deleted the upstream_yaml_fix branch August 5, 2022 15:05
@github-actions github-actions bot added the needs changelog Possibly needs a changelog entry label Aug 5, 2022
@henryiii henryiii removed the needs changelog Possibly needs a changelog entry label Oct 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
python dev Working on development versions of Python
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants