From e1bfef8347d3d995443fa6d427588beeae30e920 Mon Sep 17 00:00:00 2001 From: "Jose F. Morales" Date: Tue, 5 Mar 2024 21:23:25 +0100 Subject: [PATCH] Update release tags Src-commit: e6e8772bcd107bb94316775c890af8b21a2fcf61 --- ciao-boot.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ciao-boot.sh b/ciao-boot.sh index 71e702f22..647f99cc7 100755 --- a/ciao-boot.sh +++ b/ciao-boot.sh @@ -40,8 +40,8 @@ fi release_query_info() { case "$v__release" in - stable) tag=v1.22.0-m7 ;; - beta) tag=v1.22.0-m7 ;; + stable) tag=v1.23.0-m1 ;; + beta) tag=v1.23.0-m1 ;; latest) tag=master ;; esac # Set other defaults based on release