From cae3f96a783f4d01121bcc72d8c9c700d996f70d Mon Sep 17 00:00:00 2001
From: Geometer1729 <16kuhnb@gmail.com>
Date: Thu, 10 Oct 2024 15:16:55 -0400
Subject: [PATCH] update mina

---
 MINA_COMMIT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MINA_COMMIT b/MINA_COMMIT
index 580c6a24..f0b5a649 100644
--- a/MINA_COMMIT
+++ b/MINA_COMMIT
@@ -1 +1 @@
-The mina commit used to generate the backends for node and web is 118cffb9891515819b6afeffac026e0eb126e7e8
+The mina commit used to generate the backends for node and web is 632b83b7a253256c6ea6dbd39223d3ead6022877