| Tue, 05 Nov 2019 22:55:50 +0100 | wenzelm | proper names for multiple installations; | changeset | files |
| Tue, 05 Nov 2019 22:44:51 +0100 | wenzelm | more phabricator setup; | changeset | files |
| Tue, 05 Nov 2019 22:08:15 +0100 | wenzelm | proper service name (again): it is specific to each installation; | changeset | files |
| Tue, 05 Nov 2019 22:06:16 +0100 | wenzelm | back to plain name, to have it accepted my mysql; | changeset | files |