Skip to content

DEV: git merge smart_holder after PR #5257 #287

DEV: git merge smart_holder after PR #5257

DEV: git merge smart_holder after PR #5257 #287

🐍 3.8 β€’ ubuntu-20.04 β€’ x64 -DPYBIND11_FINDPYTHON=ON -DCMAKE_CXX_FLAGS="-D_=1"

succeeded Aug 4, 2024 in 18m 19s