mirror of
https://github.com/catchorg/Catch2.git
synced 2026-05-05 12:14:33 +02:00
1e2f1d1603
- as raised in https://github.com/philsquared/Catch/pull/195