diff options
author | J0WI <J0WI@users.noreply.github.com> | 2023-01-17 18:45:16 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-17 18:45:16 +0000 |
commit | 2ffebc1e3583b87e78eb2098b2386411ebee6bce (patch) | |
tree | 340ec9fa36f49ecb8d308e4f7952a3cc6da3094b /generate-stackbrew-library.sh | |
parent | c66b03b8c60377161b9f526edd982f815b3938d3 (diff) |
Bump stable to 25.0.3 (#1900)
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
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 bd62c763..ab82b105 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.2' +stable_channel='25.0.3' self="$(basename "$BASH_SOURCE")" cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" |