From a446f8eb053b5812eec1820e079eec4f1c1b18ac Mon Sep 17 00:00:00 2001
From: "Jose F. Morales" <jfmcjf@gmail.com>
Date: Sun, 13 Oct 2024 16:02:39 -0500
Subject: [PATCH] Bump Ciao version to 1.24

Src-commit: 8123d52c941a1c2f134e2d6fcc68db13b9c462bb
---
 CHANGELOG.md                 | 2 +-
 builder/Manifest/Manifest.pl | 2 +-
 ciao-boot.sh                 | 4 ++--
 core/Manifest/GlobalVersion  | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e771ef125..d31db0edc 100644
--- 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
index fb8b0ad38..b7ed8051c 100644
--- 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
index 647f99cc7..58263c461 100755
--- 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
index 193d14030..614245ec4 100644
--- a/core/Manifest/GlobalVersion
+++ b/core/Manifest/GlobalVersion
@@ -1 +1 @@
-1.23
\ No newline at end of file
+1.24
\ No newline at end of file