| Wed, 12 Oct 2016 21:50:16 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 Oct 2016 21:35:36 +0200 | wenzelm | clarified task logging via log service; | changeset | files |
| Wed, 12 Oct 2016 19:03:35 +0200 | wenzelm | more explicit management of tasks; | changeset | files |