From 770180ddaadf92e05e2090119cb7ca0ef2f5df61 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Mon, 20 Nov 2017 19:50:20 +0100 Subject: community/mysql-workbench: more json 32-bit patching --- .../mysql-workbench-community-6.3.10-32bit.patch | Bin 0 -> 3716 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 community/mysql-workbench/mysql-workbench-community-6.3.10-32bit.patch (limited to 'community/mysql-workbench/mysql-workbench-community-6.3.10-32bit.patch') diff --git a/community/mysql-workbench/mysql-workbench-community-6.3.10-32bit.patch b/community/mysql-workbench/mysql-workbench-community-6.3.10-32bit.patch new file mode 100644 index 00000000..5aadcff8 Binary files /dev/null and b/community/mysql-workbench/mysql-workbench-community-6.3.10-32bit.patch differ -- cgit v1.2.3-54-g00ecf