From e3c35077b005d4799d105969fbdb216299a9460f Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Tue, 2 Jul 2024 11:23:41 +0100 Subject: [PATCH] Update juvix-stdlib to main ref (#2871) This PR updates the juvix-stdlib submodule ref to point to the current main ref of the juvix-stdlib repository. Previously it was pointing to the ref of a branch. --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index 50acdf1169..89a5960fb8 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 50acdf11697d014fa9f02ce801cfbc31f6900003 +Subproject commit 89a5960fb8a29291e9271986b98ca7b1edf4031b