diff options
author | J0WI <J0WI@users.noreply.github.com> | 2022-12-08 22:44:37 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-08 22:44:37 +0000 |
commit | 04ab3157e4f1197a9f8f4b91cf2430586356dd9a (patch) | |
tree | a54b27c3ae010310ca73357f84e7af5a42844a83 /generate-stackbrew-library.sh | |
parent | 540648f7edee606349f4499e1c989e9c106331a9 (diff) |
Bump stable Version to 25 (fix #1865) (#1878)
Diffstat (limited to 'generate-stackbrew-library.sh')
-rwxr-xr-x | generate-stackbrew-library.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generate-stackbrew-library.sh b/generate-stackbrew-library.sh index 8c11204a..bd62c763 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash set -Eeuo pipefail -stable_channel='24.0.7' +stable_channel='25.0.2' self="$(basename "$BASH_SOURCE")" cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" |