Merge pull request #16038 from seamuslee001/proper_event_badge_fix
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 9 Dec 2019 01:42:20 +0000 (14:42 +1300)
committerGitHub <noreply@github.com>
Mon, 9 Dec 2019 01:42:20 +0000 (14:42 +1300)
Proper Fix for dev/core#1422


Trivial merge