From 5b948eee42c749bbea566b78985adbde17941e48 Mon Sep 17 00:00:00 2001
From: Kevin Mihelich <kevin@archlinuxarm.org>
Date: Mon, 24 Dec 2018 23:59:35 +0000
Subject: [PATCH] community/mysql-workbench to 8.0.13-3

---
 community/mysql-workbench/PKGBUILD | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/community/mysql-workbench/PKGBUILD b/community/mysql-workbench/PKGBUILD
index 4693f65ec..3cb7c43eb 100644
--- a/community/mysql-workbench/PKGBUILD
+++ b/community/mysql-workbench/PKGBUILD
@@ -13,7 +13,7 @@ buildarch=28
 
 pkgname=mysql-workbench
 pkgver=8.0.13
-pkgrel=2
+pkgrel=3
 _mysql_version=8.0.13
 _connector_version=8.0.13
 _gdal_version=2.3.2