| Sun, 20 Aug 2017 18:30:20 +0200 | wenzelm | more robust shutdown, e.g. when plugin is stopped; | changeset | files |
| Sun, 20 Aug 2017 14:03:23 +0200 | wenzelm | separate base plugin for important services that should be always available, despite startup errors of the main plugin; | changeset | files |