Updated Catch2

This commit is contained in:
Paul Ferrand 2019-07-30 00:30:23 +02:00
parent c393d9eedd
commit 7773ef81bc

2
external/Catch2 vendored

@ -1 +1 @@
Subproject commit 425957dc63a6dd52234438c6038b901029c71372
Subproject commit ab80277a861276ca0e5ad5062597c642da4a6933