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.12 β€’ MSVC 2019 β€’ x86 -DCMAKE_CXX_STANDARD=20

succeeded Aug 4, 2024 in 8m 52s