https://bugzilla.wikimedia.org/show_bug.cgi?id=54767
--- Comment #2 from Gerrit Notification Bot <gerritadmin(a)wikimedia.org> ---
Change 86442 merged by jenkins-bot:
Don't choke on 'removed' labels.
https://gerrit.wikimedia.org/r/86442
--
You are receiving this mail because:
You are the assignee for the bug.