Merge "Fix Special:Userrights temp groups with no non-temp groups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 22 Jun 2018 01:24:53 +0000 (01:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 22 Jun 2018 01:24:53 +0000 (01:24 +0000)
commit5b2a49c4a063bcb0297f7026714585054d824b5b
tree1db35fff73682df7f4aa4934e9fe1975dbf5c8e3
parent4ce981bcefcddafe467c10f53463ba1dbd858d98
parentdd22587268f1ec5ae820a6c40c4d5ab8133f7ed1
Merge "Fix Special:Userrights temp groups with no non-temp groups"