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