diff options
| author | J0WI <J0WI@users.noreply.github.com> | 2022-05-20 18:38:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-20 18:38:53 +0000 |
| commit | d11d42bb208ad39eda3db68b1cfd994bbce4b9c0 (patch) | |
| tree | ba746c68a09821363a2e4c950250b1939b96e088 /generate-stackbrew-library.sh | |
| parent | de57fc0cc749b7f54b52be651fd78134fb1d8d2b (diff) | |
23.0.5 (#1755)
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 a8533bf4..3313cbeb 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash set -Eeuo pipefail -stable_channel='23.0.4' +stable_channel='23.0.5' self="$(basename "$BASH_SOURCE")" cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" |