From f52bb856587b6978ca481cf5036ca4b982bc9484 Mon Sep 17 00:00:00 2001
From: Philip Trettner <Philip.Trettner@rwth-aachen.de>
Date: Fri, 4 Dec 2020 16:18:38 +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 bb4235d..085d913 160000
--- a/extern/typed-geometry
+++ b/extern/typed-geometry
@@ -1 +1 @@
-Subproject commit bb4235d244995d800e7aec5a3e7de5155bd90d3d
+Subproject commit 085d9130ce5291b7e4864757bd1f1b9f307fd6a7
-- 
GitLab