mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
3622644836
Renames the upgrade state file, and ensures the old file is properly removed when `mariadb-upgrade` tool is executed. All new code of the whole pull request, including one or several files that are either new files or modified ones, are contributed under the BSD-new license. I am contributing on behalf of my employer Amazon Web Services, Inc. |
||
---|---|---|
.. | ||
innotop | ||
mariadb.conf.d | ||
debian-start | ||
debian-start.inc.sh | ||
echo_stderr | ||
mariadb-report | ||
mariadb-report.1 | ||
mariadb.cnf | ||
source_mariadb.py |