From d37fcc08667bf51e1d887cc0d8b23ca9292feecf Mon Sep 17 00:00:00 2001 From: Mikhail Volkhov Date: Mon, 30 Sep 2024 14:40:00 +0200 Subject: [PATCH 1/3] Update mina version --- src/mina | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mina b/src/mina index 9bdaae999..d68deacf7 160000 --- a/src/mina +++ b/src/mina @@ -1 +1 @@ -Subproject commit 9bdaae99904c13e3e10841ec6b778e45cdacabfb +Subproject commit d68deacf78c2845e55e7fd8888e42571ac0fac97 From 6c4ec79f5faa599b1ff0b0915fdf338be03aa647 Mon Sep 17 00:00:00 2001 From: Mikhail Volkhov Date: Mon, 30 Sep 2024 14:43:46 +0200 Subject: [PATCH 2/3] Regenerate bindings --- src/bindings | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bindings b/src/bindings index b9244e223..d2f17d31d 160000 --- a/src/bindings +++ b/src/bindings @@ -1 +1 @@ -Subproject commit b9244e22332fb5b2a6f614c10e0ed2762ca965e9 +Subproject commit d2f17d31d86e8fc5dea19cab226461f1d817db05 From 4674be606568403bbf9d66d82a65911d641878c9 Mon Sep 17 00:00:00 2001 From: Florian Date: Tue, 1 Oct 2024 14:15:54 +0200 Subject: [PATCH 3/3] point to bindings --- src/bindings | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bindings b/src/bindings index d2f17d31d..bfba51b9d 160000 --- a/src/bindings +++ b/src/bindings @@ -1 +1 @@ -Subproject commit d2f17d31d86e8fc5dea19cab226461f1d817db05 +Subproject commit bfba51b9d8351b04af51bf6d59d5291cdb0490ce