diff options
author | J0WI <J0WI@users.noreply.github.com> | 2021-07-02 00:29:53 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-02 00:29:53 +0000 |
commit | 043777ae8d924e96a371c6dab453db4a90996b56 (patch) | |
tree | 57e1da660fddf96dcb4c905efb9e36d13bbce525 | |
parent | de10af6ed1fc7336d07d628584b6f50123f2b4ca (diff) |
Update stable to 20.0.11 (#1525)
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
-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 b4a8d420..1a0f5acb 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,7 +1,7 @@ #!/bin/bash set -Eeuo pipefail -stable_channel='20.0.10' +stable_channel='20.0.11' self="$(basename "$BASH_SOURCE")" cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" |