mirror of
https://github.com/catchorg/Catch2.git
synced 2026-07-08 09:30:45 +02:00
8a2ff20982
Closes #957 as the other findings are mostly noise that is pointless to fix in a branch that will be soon EoLd.