Bump Ciao version to 1.23

Src-commit: bf3a44dc1215a94a0592bb3d196580c48e7f8955
ciao-lang · Mar 5, 2024 · f93561c · f93561c
1 parent e16884b
commit f93561c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,8 @@
 # Changelog
+
+## [1.23.0] - 2024-3-04
+
+TBD
 
 ## [1.22.0] - 2022-9-28 
 

diff --git a/builder/Manifest/Manifest.pl b/builder/Manifest/Manifest.pl
@@ -1,5 +1,5 @@
 :- bundle(builder).
-version('1.22.0'). % (same as 'core')
+version('1.23.0'). % (same as 'core')
 depends([core]).
 alias_paths([ciaobld = 'src']).
 %

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