Updated release tag

Src-commit: 9e9cbfa75554d8c6ecc71353202aa6efdc28829b
ciao-lang · Jun 29, 2023 · be47375 · be47375
1 parent 26a5858
commit be47375
Showing 1 changed file with 2 additions and 2 deletions.
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.22.0-m4 ;;
-        beta)   tag=v1.22.0-m4 ;;
+        stable) tag=v1.22.0-m5 ;;
+        beta)   tag=v1.22.0-m5 ;;
         latest) tag=master ;;
     esac
     # Set other defaults based on release