diff options
author | Thomas131 <mail@t131.us.to> | 2021-05-21 14:08:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-21 12:08:13 +0000 |
commit | 3cd32ef5bb45631c9d91983fe091cf4b600e3ea8 (patch) | |
tree | 509d4a7f5ca5fecce129dcf3d2b2b1eaee2b45af /generate-stackbrew-library.sh | |
parent | 7cc3dcac758cd2ab0ec0e6d7fc9d701606c60af8 (diff) |
Push stable channel to 20.0.10 (#1498)
Signed-off-by: Thomas131 <t@t131.us.to>
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 fa813f51..b4a8d420 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,7 +1,7 @@ #!/bin/bash set -Eeuo pipefail -stable_channel='20.0.9' +stable_channel='20.0.10' self="$(basename "$BASH_SOURCE")" cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" |