From 78ab28d1976ca2fa2ec6fadf0884858e1bf7e9b5 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Thu, 16 Nov 2017 18:00:14 +0000
Subject: [PATCH] Update mysql-workbench to version 6.3.10

---
 mysql-workbench.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/mysql-workbench.json b/mysql-workbench.json
index d991fc14d4..383204e204 100644
--- a/mysql-workbench.json
+++ b/mysql-workbench.json
@@ -1,12 +1,12 @@
 {
-    "version": "6.3.9",
+    "version": "6.3.10",
     "license": "GPL",
     "homepage": "https://dev.mysql.com/downloads/workbench/",
     "architecture": {
         "64bit": {
-            "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-6.3.9-winx64.msi",
+            "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-6.3.10-winx64.msi",
             "extract_dir": "MySQL\\MySQL Workbench 6.3 CE",
-            "hash": "md5:89773c47e3f43d247182a9c0270c2bc5"
+            "hash": "md5:a445c5f1a362f360da1ad25ab4d2de0f"
         }
     },
     "checkver": "MySQL Workbench (?<version>(?<short>[\\d]+.[\\d]+).[\\d]+)",