diff options
author | Tilo Spannagel <development@tilosp.de> | 2020-07-27 16:26:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-27 16:26:27 +0200 |
commit | 9bfe454bd4d64ee81df92e1d375a7a73a8e2175c (patch) | |
tree | 91e8d02524c5eb373dfe6fa9d130d043f8d4c1e6 | |
parent | de90bed706d03973c8181b695e0207fa45847c28 (diff) | |
parent | 9d5a5a7b57e092dd1b597f3326d4b523d1139688 (diff) |
Merge pull request #1183 from sersoft-gmbh/update_release_channels
Update stable to 18.0.7 and production to 17.0.8
-rwxr-xr-x | generate-stackbrew-library.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generate-stackbrew-library.sh b/generate-stackbrew-library.sh index cbc532b3..039c5067 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -2,8 +2,8 @@ set -Eeuo pipefail declare -A release_channel=( - [stable]='18.0.6' - [production]='17.0.7' + [stable]='18.0.7' + [production]='17.0.8' ) self="$(basename "$BASH_SOURCE")" |