diff options
author | J0WI <J0WI@users.noreply.github.com> | 2023-02-23 22:44:19 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-23 22:44:19 +0000 |
commit | c5a8a8863b1db95fb45c872a0078b177347db959 (patch) | |
tree | 8e253523a7105b21ece6ef62875cc76edc15948e /generate-stackbrew-library.sh | |
parent | d266acccf0434dd9fedba63218cfde912be40cc5 (diff) |
25.0.4 (#1924)
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 ab82b105..ee48c9c9 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash set -Eeuo pipefail -stable_channel='25.0.3' +stable_channel='25.0.4' self="$(basename "$BASH_SOURCE")" cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" |