mirror of
https://github.com/catchorg/Catch2.git
synced 2025-05-10 17:22:37 +02:00

Was "<section-name> completed in XXX s." Now is "XXX s: <section-name>" Closes #322 (cherry picked from commit 0805539)
Was "<section-name> completed in XXX s." Now is "XXX s: <section-name>" Closes #322 (cherry picked from commit 0805539)