Ship 13 on production channel

8 years ago · 5f0e65f0c2
parent 763622d867
commit 5f0e65f0c2
1 changed files with 1 additions and 1 deletions
--- a/generate-stackbrew-library.sh
+++ b/generate-stackbrew-library.sh
@ -2,7 +2,7 @@
 set -Eeuo pipefail

 declare -A release_channel=(
-	[production]='12.0.7'
+	[production]='13.0.2'
 	[stable]='13.0.2'
 )