diff --git a/extern/typed-geometry b/extern/typed-geometry index 554dc0264512b88aaa64c3215bc3bcd9d8f90492..39b80b3765f73c79a5673a6a1e01fd62f4bc34a4 160000 --- a/extern/typed-geometry +++ b/extern/typed-geometry @@ -1 +1 @@ -Subproject commit 554dc0264512b88aaa64c3215bc3bcd9d8f90492 +Subproject commit 39b80b3765f73c79a5673a6a1e01fd62f4bc34a4