mirror of
https://github.com/catchorg/Catch2.git
synced 2026-07-11 02:50:55 +02:00
eb783fc20e
<sigh> yes, I know - but we have them - may as well make them consistent and safer