Closed matthiasdiener closed 2 years ago
Fixes the compilation error in CI due to (I suspect) https://github.com/pybind/pybind11/pull/4008
This is ready for review @inducer
Thank you!
Fixes the compilation error in CI due to (I suspect) https://github.com/pybind/pybind11/pull/4008