From ab0d73380c2af0c631aae79f6f65155b2ed5814b Mon Sep 17 00:00:00 2001
From: Philip Trettner <Philip.Trettner@rwth-aachen.de>
Date: Fri, 4 Dec 2020 17:00:47 +0100
Subject: [PATCH] tg update

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

diff --git a/extern/typed-geometry b/extern/typed-geometry
index 085d913..0dad6e4 160000
--- a/extern/typed-geometry
+++ b/extern/typed-geometry
@@ -1 +1 @@
-Subproject commit 085d9130ce5291b7e4864757bd1f1b9f307fd6a7
+Subproject commit 0dad6e4b42f81513e75fd264394ec45461cbccc1
-- 
GitLab