mirror of
https://github.com/catchorg/Catch2.git
synced 2026-07-10 18:40:49 +02:00
e091018514
- thanks to Malcolm Noyes for supplying sample code on which the solution here was based