Bump Ciao version to 1.24

Src-commit: 8123d52c941a1c2f134e2d6fcc68db13b9c462bb
ciao-lang · Oct 13, 2024 · a446f8e · a446f8e
1 parent cd2fa42
commit a446f8e
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/CHANGELOG.md b/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

diff --git a/builder/Manifest/Manifest.pl b/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']).
 %

diff --git a/ciao-boot.sh b/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

diff --git a/core/Manifest/GlobalVersion b/core/Manifest/GlobalVersion
@@ -1 +1 @@
-1.23
+1.24