From 65dbc63eb43c3b030e1064f9ffa92bd5ef6a6a0d Mon Sep 17 00:00:00 2001 From: "Jose F. Morales" Date: Wed, 12 Jul 2023 08:42:54 +0100 Subject: [PATCH] Update stable release Src-commit: a80820bb86b8b7c403996c0cc1a89babbc6980b2 --- ciao-boot.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ciao-boot.sh b/ciao-boot.sh index 25a83a32e..ee5a87646 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-m5 ;; - beta) tag=v1.22.0-m5 ;; + stable) tag=v1.22.0-m6 ;; + beta) tag=v1.22.0-m6 ;; latest) tag=master ;; esac # Set other defaults based on release