diff options
author | Gabriel Augendre <gabriel@augendre.info> | 2021-02-09 18:06:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-09 17:06:50 +0000 |
commit | 90b6e28f9e67ef8dda11f76a313b755cc9d51551 (patch) | |
tree | 510c03de1835155376227449c8e6d299bde8c9a4 /generate-stackbrew-library.sh | |
parent | 724e37a033b068a71a06536e23342019aa6bb572 (diff) |
Update stable to 20.0.7 (#1393)
Signed-off-by: Gabriel Augendre <gabriel@augendre.info>
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 adb1afe1..2bca03bf 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,7 +1,7 @@ #!/bin/bash set -Eeuo pipefail -stable_channel='20.0.6' +stable_channel='20.0.7' self="$(basename "$BASH_SOURCE")" cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" |