mirror of
https://github.com/pybind/pybind11.git
synced 2026-05-04 13:41:36 +00:00
This rolls back https://github.com/pybind/pybind11/pull/4022 (including follow-on tweaks in other PRs).
This rolls back https://github.com/pybind/pybind11/pull/4022 (including follow-on tweaks in other PRs).