mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
a14d63ba6e
Build-tools/Do-compile: Make shutdown safer Docs/manual.texi: Fix of bad merge sql/log.cc: cleanup sql/sql_acl.cc: cleanup |
||
---|---|---|
.. | ||
cvs-sanity-check | ||
Do-all-build-steps | ||
Do-compile | ||
Do-create-perl-rpms | ||
Do-local-patch-file | ||
Do-patch-file | ||
Do-rpm | ||
mysql-copyright | ||
mysql-copyright-2 | ||
newest |