gerritbot added a subscriber: gerritbot. gerritbot added a comment.
Change 184118 merged by jenkins-bot: Port patrol.py to core
https://gerrit.wikimedia.org/r/184118
TASK DETAIL https://phabricator.wikimedia.org/T74206
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: droid, gerritbot Cc: gerritbot, jayvdb, droid, Ricordisamoa, Billinghurst, XZise, pywikipedia-bugs