[Bug 935388] New: MariaDB does not start after upgrade to 10.0.13