mirror of
https://github.com/catchorg/Catch2.git
synced 2026-02-01 02:59:59 +01:00
The previous implemetation was just plain broken for most of possible uses, the new one should work (even though it is ugly as all hell, and should be improved ASAP). Fixes #1436