dev-db/mysql-workbench: remove unused patch
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Thu, 5 Dec 2019 13:55:06 +0000 (14:55 +0100)
committerAaron Bauman <bman@gentoo.org>
Fri, 6 Dec 2019 15:38:55 +0000 (10:38 -0500)
commit39b245cae69379476bbb2564b99e8701fe0d0cfe
treeb9853d073cb09e4b717a32569800bdbbbab613cc
parent777e9a47c90e8fcf7ee301c446a32a22cb407b15
dev-db/mysql-workbench: remove unused patch

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13881
Signed-off-by: Aaron Bauman <bman@gentoo.org>
dev-db/mysql-workbench/files/mysql-workbench-6.3.9-mariadb-json.patch [deleted file]