diff --git a/libm17 b/libm17
index 1fcdeaf..1b12db9 160000
--- a/libm17
+++ b/libm17
@@ -1 +1 @@
-Subproject commit 1fcdeafe6419802ea5b0fe423040569e8c596f50
+Subproject commit 1b12db9d27c885f3ac9c0b1204bd600204f4d058