From 7773ef81bc454583dcaeb2595e8ade6c789cd5fe Mon Sep 17 00:00:00 2001
From: Paul Ferrand <paulfd@outlook.fr>
Date: Tue, 30 Jul 2019 00:30:23 +0200
Subject: [PATCH] Updated Catch2

---
 external/Catch2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/Catch2 b/external/Catch2
index 425957dc..ab80277a 160000
--- a/external/Catch2
+++ b/external/Catch2
@@ -1 +1 @@
-Subproject commit 425957dc63a6dd52234438c6038b901029c71372
+Subproject commit ab80277a861276ca0e5ad5062597c642da4a6933