From a1ffc89d14d98391490da6360c7ba67dadd3b41b Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 11 Oct 2022 08:31:09 +0000
Subject: [PATCH] mysql-workbench: Update to version 8.0.31

---
 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 a1978bfbd8..1e27f71805 100644
--- a/bucket/mysql-workbench.json
+++ b/bucket/mysql-workbench.json
@@ -1,13 +1,13 @@
 {
-    "version": "8.0.30",
+    "version": "8.0.31",
     "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.30-winx64.msi",
+            "url": "https://cdn.mysql.com/Downloads/MySQLGUITools/mysql-workbench-community-8.0.31-winx64.msi",
             "extract_dir": "MySQL\\MySQL Workbench 8.0 CE",
-            "hash": "md5:5c7def4c83989f60522972455a512c1d"
+            "hash": "md5:d3641c423f00f0aa6f258ff116778e1b"
         }
     },
     "bin": [