# HG changeset patch
# User wenzelm
# Date 1746611890 -7200
# Node ID 6a2808a48c511cc57e2c47b60dee2693e8d1a2c7
# Parent  f22704ac73c3514f7853e9a7068bbdca42dfa07a
update to current go-1.24.3;

diff -r f22704ac73c3 -r 6a2808a48c51 etc/settings
--- a/etc/settings	Wed May 07 11:00:17 2025 +0200
+++ b/etc/settings	Wed May 07 11:58:10 2025 +0200
@@ -190,7 +190,7 @@
 ### Go
 ###
 
-ISABELLE_GO_VERSION="1.22.1"
+ISABELLE_GO_VERSION="1.24.3"
 
 
 ###