Merge "Fix issue when modifying groups in Special:Userrights"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Jan 2018 21:00:56 +0000 (21:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Jan 2018 21:00:56 +0000 (21:00 +0000)
commit94f8030736fa18d3c52b506c1242f05dcff51ecf
tree3cd310b4688cafc7abe3b8e9b1d1fc30ecc6d28e
parentb9d44c1233d1aa3a8ce3ffedb4fdab27b14032be
parent069c43251e54b2b256d67438720b5e78bff46984
Merge "Fix issue when modifying groups in Special:Userrights"