Merge pull request #559 from nandanvasudevan/master

Updating Catch2 v2 to v2.13.9
This commit is contained in:
Gudmundur Adalsteinsson 2022-06-15 20:34:48 +00:00 committed by GitHub
commit 7742eb3693
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,7 +8,7 @@ if (NOT Catch2_FOUND)
FetchContent_Declare(
Catch2
GIT_REPOSITORY https://github.com/catchorg/Catch2.git
GIT_TAG v2.13.4)
GIT_TAG v2.13.9)
FetchContent_MakeAvailable(Catch2)