From 96e467e402df9834a0b3f884d74c4af2fc066e30 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 22 Jul 2019 07:00:32 +0000
Subject: [PATCH] mysql-workbench: Update to version 8.0.17

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

diff --git a/bucket/mysql-workbench.json b/bucket/mysql-workbench.json
index 82491221a0..ea98883056 100644
--- a/bucket/mysql-workbench.json
+++ b/bucket/mysql-workbench.json
@@ -1,12 +1,12 @@
 {
-    "version": "8.0.16",
+    "version": "8.0.17",
     "license": "GPL-2.0-only",
     "homepage": "https://dev.mysql.com/downloads/workbench/",
     "architecture": {
         "64bit": {
-            "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.16-winx64.msi",
+            "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.17-winx64.msi",
             "extract_dir": "MySQL\\MySQL Workbench 8.0 CE",
-            "hash": "md5:6228c775ba5f7578e411dc221d6ceab6"
+            "hash": "md5:7f56c52c53cfabb8fa6d13926ca4be58"
         }
     },
     "checkver": "MySQL Workbench (?<version>(?<short>[\\d]+.[\\d]+).[\\d]+)",