[MediaWiki-commits] [Gerrit] mediawiki...UserMerge[master]: Remove old UserMerge special page class alias
jenkins-bot has submitted this change and it was merged. Change subject: Remove old UserMerge special page class alias .. Remove old UserMerge special page class alias Change-Id: Ie9e1231ea4f73a94d14f7c588befcbd4060205d7 --- M
[MediaWiki-commits] [Gerrit] mediawiki...UserMerge[master]: Remove old UserMerge special page class alias
Reedy has uploaded a new change for review. https://gerrit.wikimedia.org/r/313907 Change subject: Remove old UserMerge special page class alias .. Remove old UserMerge special page class alias Change-Id: Ie9e1231ea4f73a94d14f