gerritbot added a comment.
Change 290266 merged by jenkins-bot:
Add MediaInfoId::getNumericId
https://gerrit.wikimedia.org/r/290266
TASK DETAIL
https://phabricator.wikimedia.org/T136011
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: gerrit
gerritbot added a comment.
Change 290266 had a related patch set uploaded (by Thiemo Mättig (WMDE)):
Add MediaInfoId::getNumericId
https://gerrit.wikimedia.org/r/290266
TASK DETAIL
https://phabricator.wikimedia.org/T136011
EMAIL PREFERENCES
https://phabricator.wikimedia.org/setting