File mysql-gui-tools-warnings.patch of Package mysql-gui-tools
--- mysql-workbench/source/linux/MWPreferences.cc +++ mysql-workbench/source/linux/MWPreferences.cc @@ -28,6 +28,7 @@ MYX_APPLICATION_OPTIONS *MWPreferences::prepare_options() { + return NULL; }