diff --git a/src/bindings b/src/bindings index 015333ff2..66781be42 160000 --- a/src/bindings +++ b/src/bindings @@ -1 +1 @@ -Subproject commit 015333ff220ed723f12580acfd6a6beab593072f +Subproject commit 66781be42fbb79cdd95eee5466935940fa4a6d30 diff --git a/src/mina b/src/mina index 9bdaae999..6899054b7 160000 --- a/src/mina +++ b/src/mina @@ -1 +1 @@ -Subproject commit 9bdaae99904c13e3e10841ec6b778e45cdacabfb +Subproject commit 6899054b745c1323b9d5bcaa62c00bed2ad1ead3