From 5f0e65f0c2bcc45e60c2e93c19564a6a1c935a43 Mon Sep 17 00:00:00 2001
From: Tilo Spannagel <development@tilosp.de>
Date: Mon, 7 May 2018 13:32:27 +0200
Subject: [PATCH] Ship 13 on production channel

---
 generate-stackbrew-library.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generate-stackbrew-library.sh b/generate-stackbrew-library.sh
index f3e3a80..3616cf4 100755
--- 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'
 )