Skip to content

DEV: git merge smart_holder after PR #5257 #291

DEV: git merge smart_holder after PR #5257

DEV: git merge smart_holder after PR #5257 #291

🐍 3.8 β€’ windows-2019 β€’ x64 -DPYBIND11_FINDPYTHON=ON

succeeded Aug 9, 2024 in 19m 43s