[Wikidata-bugs] [Maniphest] [Commented On] T175128: Add diff/diff to mediawiki-vendor

2017-11-03 Thread gerritbot
gerritbot added a comment. Change 388401 merged by jenkins-bot: [mediawiki/vendor@master] Wikibase: diff/diff: 2.2.0 https://gerrit.wikimedia.org/r/388401TASK DETAILhttps://phabricator.wikimedia.org/T175128EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/panel/emailpreferences/To:

[Wikidata-bugs] [Maniphest] [Commented On] T175128: Add diff/diff to mediawiki-vendor

2017-11-03 Thread gerritbot
gerritbot added a comment. Change 388401 had a related patch set uploaded (by Addshore; owner: Addshore): [mediawiki/vendor@master] Wikibase: diff/diff: 2.2.0 https://gerrit.wikimedia.org/r/388401TASK DETAILhttps://phabricator.wikimedia.org/T175128EMAIL