Merge pull request #4446 from annando/worker-priority
authorHypolite Petovan <mrpetovan@gmail.com>
Tue, 13 Feb 2018 03:29:53 +0000 (22:29 -0500)
committerGitHub <noreply@github.com>
Tue, 13 Feb 2018 03:29:53 +0000 (22:29 -0500)
Bugfix: The provided worker priority had been ignored


Trivial merge