From f1cf3cdcf5f6c545b08b38a6d771b8d869bf2f2c Mon Sep 17 00:00:00 2001 From: Julius Nehring-Wirxel <julius.nehring-wirxel@rwth-aachen.de> Date: Mon, 30 Sep 2024 11:03:01 +0200 Subject: [PATCH] Update typed-geometry --- extern/typed-geometry | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extern/typed-geometry b/extern/typed-geometry index e34c068..31bbb63 160000 --- a/extern/typed-geometry +++ b/extern/typed-geometry @@ -1 +1 @@ -Subproject commit e34c0680c7f291741ab4e8379ba1bc1f64ce7c43 +Subproject commit 31bbb63b8a1af5a2ec41a51533b0f6b2c56525a8 -- GitLab