Update Catch header to v2.13.7 to fix tests against glibc 2.34#137
Merged
gulrak merged 1 commit intogulrak:masterfrom Nov 27, 2021
chewi:master
Merged
Update Catch header to v2.13.7 to fix tests against glibc 2.34#137gulrak merged 1 commit intogulrak:masterfrom chewi:master
gulrak merged 1 commit intogulrak:masterfrom
chewi:master
