File mysql-workbench-no-check-for-updates.patch of Package mysql-workbench

--- mysql-workbench-community-8.0.15-org/res/wbdata/main_menu.xml	2019-01-30 15:32:36.000000000 +0200
+++ mysql-workbench-community-8.0.15-src/res/wbdata/main_menu.xml	2019-02-16 17:37:48.075876063 +0200
@@ -2571,6 +2571,7 @@
                     <value type="string" key="command">builtin:show_log_file</value>
                     <value type="string" key="itemType">action</value>
                 </value>
+                <!--
                 <value type="object" struct-name="app.MenuItem" id="com.mysql.wb.menu.separator.help.checkver">
                     <value type="string" key="itemType">separator</value>
                     <value type="string" key="accessibilityName">Separator</value>
@@ -2583,6 +2584,7 @@
                     <value type="string" key="command">plugin:wb.tools.checkForUpdates</value>
                     <value type="string" key="itemType">action</value>
                 </value>
+                -->
                 <value type="object" struct-name="app.MenuItem" id="com.mysql.wb.menu.separator.help.report_a_bug">
                     <value type="string" key="itemType">separator</value>
                     <value type="string" key="platform">windows,linux</value>