more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE354bfab78cbf: Isabelle/Phabricator supports Ubuntu 20.04 LTS;
- Branches
- Unknown
- Tags