diff options
author | J0WI <J0WI@users.noreply.github.com> | 2022-05-20 21:38:53 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-20 21:38:53 +0300 |
commit | d11d42bb208ad39eda3db68b1cfd994bbce4b9c0 (patch) | |
tree | ba746c68a09821363a2e4c950250b1939b96e088 | |
parent | de57fc0cc749b7f54b52be651fd78134fb1d8d2b (diff) |
23.0.5 (#1755)
-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 a8533bf..3313cbe 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")")" |