Bump Ciao version to 1.24

Src-commit: 8123d52c941a1c2f134e2d6fcc68db13b9c462bb

Author: jfmc

CHANGELOG.md

@@ -1,6 +1,6 @@
 # Changelog
 
-## [1.24.0] - 2024-7-20
+## [1.24.0] - 2024-10-13
 
 @begin{alert}
 The release of 1.24 is in progress. The highlights in this list are in

builder/Manifest/Manifest.pl

@@ -1,5 +1,5 @@
 :- bundle(builder).
-version('1.23.0'). % (same as 'core')
+version('1.24.0'). % (same as 'core')
 depends([core]).
 alias_paths([ciaobld = 'src']).
 %

ciao-boot.sh

@@ -40,8 +40,8 @@ fi
 
 release_query_info() {
     case "$v__release" in
-        stable) tag=v1.23.0-m1 ;;
-        beta)   tag=v1.23.0-m1 ;;
+        stable) tag=v1.24.0-m1 ;;
+        beta)   tag=v1.24.0-m1 ;;
         latest) tag=master ;;
     esac
     # Set other defaults based on release

core/Manifest/GlobalVersion

@@ -1 +1 @@
-1.23
+1.24