Merge pull request #3343 from WoltLab/parallel-worker
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 3 Jul 2020 14:12:00 +0000 (16:12 +0200)
committerGitHub <noreply@github.com>
Fri, 3 Jul 2020 14:12:00 +0000 (16:12 +0200)
Allow executing CLI worker in parallel


Trivial merge