From f338c491ca065587744c081673afb9e0917b9c15 Mon Sep 17 00:00:00 2001
From: Christophe <christophe@cjean.fr>
Date: Mon, 27 Jun 2016 23:34:28 +0200
Subject: [PATCH] Upgrade to MySQL 5.7.13 (#914)

---
 mysql.json | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/mysql.json b/mysql.json
index 36e93e41f4..d12d52d3fa 100644
--- a/mysql.json
+++ b/mysql.json
@@ -1,17 +1,17 @@
 {
     "homepage": "https://dev.mysql.com/downloads/mysql/",
-    "version": "5.7.12",
+    "version": "5.7.13",
     "license": "GPLv2",
     "architecture": {
         "64bit": {
-            "url": "https://dev.mysql.com/get/Downloads/MySQL-5.7/mysql-5.7.12-winx64.zip",
-            "hash": "md5:22171697d44c68a8750d2ca0448a847f",
-            "extract_dir": "mysql-5.7.12-winx64"
+            "url": "https://dev.mysql.com/get/Downloads/MySQL-5.7/mysql-5.7.13-winx64.zip",
+            "hash": "md5:4a80ba4a81468fd848258367c8e81d76",
+            "extract_dir": "mysql-5.7.13-winx64"
         },
         "32bit": {
-            "url": "https://dev.mysql.com/get/Downloads/MySQL-5.7/mysql-5.7.12-win32.zip",
-            "hash": "md5:40ec6847b5cb7858b10e1d18dd86d495",
-            "extract_dir": "mysql-5.7.12-win32"
+            "url": "https://dev.mysql.com/get/Downloads/MySQL-5.7/mysql-5.7.13-win32.zip",
+            "hash": "md5:cea41a9b2e6b0ef62746700aa85ddea3",
+            "extract_dir": "mysql-5.7.13-win32"
         }
     },
     "bin": [