src/Pure/Tools/phabricator.scala
Fri, 30 Oct 2020 23:43:08 +0100 wenzelm more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
Fri, 30 Oct 2020 22:56:15 +0100 wenzelm Isabelle/Phabricator supports Ubuntu 20.04 LTS;
less more (0) -30 -10 -2 tip