pull/1757/head
J0WI 4 years ago committed by GitHub
parent de57fc0cc7
commit d11d42bb20
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -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")")"

Loading…
Cancel
Save