[MediaWiki-commits] [Gerrit] labs/libraryupgrader[master]: Add mediawiki/tools/minus-x to upgrade list

2018-01-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/403948 ) Change subject: Add mediawiki/tools/minus-x to upgrade list .. Add mediawiki/tools/minus-x to upgrade list It is using

[MediaWiki-commits] [Gerrit] labs/libraryupgrader[master]: Add mediawiki/tools/minus-x to upgrade list

2018-01-12 Thread Umherirrender (Code Review)
Umherirrender has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/403948 ) Change subject: Add mediawiki/tools/minus-x to upgrade list .. Add mediawiki/tools/minus-x to upgrade list It is using