diff -r 6964a23f595a -r b082476a8036 etc/settings
--- a/etc/settings	Tue Mar 26 20:23:13 2024 +0100
+++ b/etc/settings	Tue Mar 26 20:39:06 2024 +0100
@@ -186,6 +186,13 @@
 
 
 ###
+### Go
+###
+
+ISABELLE_GO_VERSION="1.22.1"
+
+
+###
 ### Misc settings
 ###