diff --git a/extern/typed-geometry b/extern/typed-geometry index e34c0680c7f291741ab4e8379ba1bc1f64ce7c43..31bbb63b8a1af5a2ec41a51533b0f6b2c56525a8 160000 --- a/extern/typed-geometry +++ b/extern/typed-geometry @@ -1 +1 @@ -Subproject commit e34c0680c7f291741ab4e8379ba1bc1f64ce7c43 +Subproject commit 31bbb63b8a1af5a2ec41a51533b0f6b2c56525a8