From 7c590564c3a9e391a8766524b114772940ee16c4 Mon Sep 17 00:00:00 2001
From: Aaron Grabowy <aaron.grabowy@rwth-aachen.de>
Date: Mon, 16 Nov 2020 12:56:45 +0100
Subject: [PATCH] Fixed CI

---
 extern/typed-geometry | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extern/typed-geometry b/extern/typed-geometry
index 39b80b3..d0f7c66 160000
--- a/extern/typed-geometry
+++ b/extern/typed-geometry
@@ -1 +1 @@
-Subproject commit 39b80b3765f73c79a5673a6a1e01fd62f4bc34a4
+Subproject commit d0f7c669e29e5d8a2de973c614563eb9a352a6ee
-- 
GitLab