diff --git a/src/bindings b/src/bindings
index 30106d23f..b9fac710b 160000
--- a/src/bindings
+++ b/src/bindings
@@ -1 +1 @@
-Subproject commit 30106d23ffd707a7e6af4093b9af442cabef1d93
+Subproject commit b9fac710b10c12bebc1aa7fb9b75172d4195c083
diff --git a/src/mina b/src/mina
index 203fbbcc7..8b4c2c2be 160000
--- a/src/mina
+++ b/src/mina
@@ -1 +1 @@
-Subproject commit 203fbbcc7a00494114066f67c20ac8c510691578
+Subproject commit 8b4c2c2be0efb6f5330672327d64a676a8a30a84