Skip to content

Conversation

cyyever
Copy link
Contributor

@cyyever cyyever commented Jan 3, 2023

No description provided.

@rwgk
Copy link
Collaborator

rwgk commented Jan 3, 2023

BTW: The only one CI failure here is addressed by #4438

I.e. good to ignore here.

@henryiii henryiii merged commit e3e24f3 into pybind:master Jan 3, 2023
@github-actions github-actions bot added the needs changelog Possibly needs a changelog entry label Jan 3, 2023
henryiii pushed a commit that referenced this pull request Jan 3, 2023
* fix incorrect variable check

* remove duplicated check

* remove unneeded const cast
@henryiii henryiii removed the needs changelog Possibly needs a changelog entry label Jan 3, 2023
@cyyever cyyever deleted the various_fix branch January 4, 2023 01:25
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.

4 participants