Skip to content

Add back missing global option to pybind11 requirement#762

Merged
mhucka merged 1 commit into
masterfrom
mh-add-back-pybind11-global
Jun 13, 2025
Merged

Add back missing global option to pybind11 requirement#762
mhucka merged 1 commit into
masterfrom
mh-add-back-pybind11-global

Conversation

@mhucka
Copy link
Copy Markdown
Collaborator

@mhucka mhucka commented Jun 12, 2025

Somewhere among all these merges and new PRs, I lost the [global]
option to the pybind11 requirement.

Somewhere among all these merges and new PRs, I lost the [global]
option to the pybind11 requirement.
@mhucka mhucka merged commit 17e1a85 into master Jun 13, 2025
14 of 19 checks passed
@mhucka mhucka deleted the mh-add-back-pybind11-global branch June 13, 2025 15:58
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