catch2_3: 3.1.0 -> 3.1.1
https://github.com/catchorg/Catch2/releases/tag/v3.1.1
authored by Robert Schütz and committed by Robert Schütz 3 years ago d3ea3da7 61dcd8ab