mirror of
https://github.com/catchorg/Catch2.git
synced 2025-10-09 20:25:41 +02:00

This ended up being a surprisingly large refactoring, motivated by removing a `const_cast` from `Config`'s handling of reporter streams, forced by previous commit.