This is an autogenerated message for OBS integration: This bug (937754) was mentioned in https://build.opensuse.org/request/show/316467 13.2+13.1 / mysql-community-server