mirror of
https://github.com/catchorg/Catch2.git
synced 2026-07-09 01:50:54 +02:00
67914d8b86
This avoids some breakage from the modernization
This avoids some breakage from the modernization