Merge pull request #7554 from annando/worker-log
authorPhilipp <admin+Github@philipp.info>
Fri, 23 Aug 2019 06:43:42 +0000 (08:43 +0200)
committerGitHub <noreply@github.com>
Fri, 23 Aug 2019 06:43:42 +0000 (08:43 +0200)
Output better comparable log entries for the worker


Trivial merge