1
0
mirror of https://github.com/catchorg/Catch2.git synced 2025-04-30 12:33:52 +00:00
Martin Hořeňovský 61e1ea9185
Merge pull request #1492 from Lotterleben/fix_1394
fix #1394: avoid superfluous re-run when specific section is selected
2019-01-18 16:46:40 +01:00
..