gerritbot added a comment.
Change 209139 merged by jenkins-bot: wikimedia username moved into Travis-CI settings
https://gerrit.wikimedia.org/r/209139
TASK DETAIL https://phabricator.wikimedia.org/T98189
EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: jayvdb, gerritbot Cc: gerritbot, hashar, greg, XZise, Ladsgroup, jayvdb, Aklapper, pywikipedia-bugs