gerritbot added a comment.

Change 190672 merged by jenkins-bot: [FIX] Normalize username

https://gerrit.wikimedia.org/r/190672

TASK DETAIL https://phabricator.wikimedia.org/T73398

REPLY HANDLER ACTIONS Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign <username>.

EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/

To: gerritbot Cc: gerritbot, jayvdb, XZise, pywikipedia-bugs