diff --git a/src/bindings b/src/bindings
index 552d97e367..3bc828d876 160000
--- a/src/bindings
+++ b/src/bindings
@@ -1 +1 @@
-Subproject commit 552d97e3670a18bb57fe0019284b3ae4ea35e326
+Subproject commit 3bc828d876406b0d8b78f7cb548cc165d920fbf9
diff --git a/src/mina b/src/mina
index 9d1cd89a44..deadbd333c 160000
--- a/src/mina
+++ b/src/mina
@@ -1 +1 @@
-Subproject commit 9d1cd89a4454caeab76921e92868c2b3e1d4bb59
+Subproject commit deadbd333c04399033c8b573cb0b337e9b33ea41