From 050d65a894f8f2b430e062a78d886afb7d0dd263 Mon Sep 17 00:00:00 2001 From: Richard Kuhnt Date: Mon, 13 Jan 2020 10:01:48 +0000 Subject: [PATCH] mysql-workbench: Update to version 8.0.19 --- 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 467232d294..a78f088bc9 100644 --- a/bucket/mysql-workbench.json +++ b/bucket/mysql-workbench.json @@ -1,13 +1,13 @@ { - "version": "8.0.18", + "version": "8.0.19", "description": "Integrated tools environment for database design, modeling, development, administration, and migration.", "homepage": "https://dev.mysql.com/downloads/workbench/", "license": "GPL-2.0-only", "architecture": { "64bit": { - "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.18-winx64.msi", + "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.19-winx64.msi", "extract_dir": "MySQL\\MySQL Workbench 8.0 CE", - "hash": "md5:fbba5574b7d5f1587b14683fe706dc88" + "hash": "md5:3e802457a04c7e58c4abbb914630f510" } }, "bin": [