Merge pull request #7391 from annando/warning
authorHypolite Petovan <hypolite@mrpetovan.com>
Tue, 16 Jul 2019 20:03:17 +0000 (16:03 -0400)
committerGitHub <noreply@github.com>
Tue, 16 Jul 2019 20:03:17 +0000 (16:03 -0400)
Avoid a warning in Notifier worker


Trivial merge