From e39e0455b768430af09c87d1cf7e97d8d41a6fda Mon Sep 17 00:00:00 2001 From: Richard Kuhnt Date: Mon, 14 Oct 2019 10:00:14 +0000 Subject: [PATCH] mysql-workbench: Update to version 8.0.18 --- 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 c38303d11f..e6155bef7e 100644 --- a/bucket/mysql-workbench.json +++ b/bucket/mysql-workbench.json @@ -1,13 +1,13 @@ { "homepage": "https://dev.mysql.com/downloads/workbench/", "description": "Provides DBAs and developers an integrated tools environment for database design, modeling, development, administration, and migration.", - "version": "8.0.17", + "version": "8.0.18", "license": "GPL-2.0-only", "architecture": { "64bit": { - "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.17-winx64.msi", + "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.18-winx64.msi", "extract_dir": "MySQL\\MySQL Workbench 8.0 CE", - "hash": "md5:7f56c52c53cfabb8fa6d13926ca4be58" + "hash": "md5:fbba5574b7d5f1587b14683fe706dc88" } }, "checkver": "MySQL Workbench (?(?[\\d]+.[\\d]+).[\\d]+)",