1
0
mirror of https://github.com/catchorg/Catch2.git synced 2025-05-01 21:03:52 +00:00
Martin Hořeňovský cdd83c2e15 Fmt and tag fixup for #876
Github wouldn't let me push to the PR, probably because it was made from
fork of a fork...
2017-04-04 11:31:13 +02:00
..
2017-04-04 11:31:13 +02:00