Morwenn a0ece7b252 Compatility fixes for GCC5 (#2448) ... * GCC5 compat: work around inherited constructor issues Don't use inherited constructors, forward manually instead. This basically reverts 61f803126d. I believe that GCC5 does not implement P0136, a C++17 change that made inherited constructors actually usable and was backported as a DR all the way to C++11. * GCC5 compat: bypass std::pair construction issue Co-authored-by: Martin Hořeňovský <martin.horenovsky@gmail.com>		2022-06-07 18:46:46 +02:00
..
catch2	Compatility fixes for GCC5 (#2448)	2022-06-07 18:46:46 +02:00
CMakeLists.txt	Make Random*Generators be seedable	2022-05-17 17:57:21 +02:00