Merge "Fix GUI for Special:Tags if a user has deletechangetags permission only"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 14 May 2016 11:29:13 +0000 (11:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 14 May 2016 11:29:13 +0000 (11:29 +0000)
commit46606b5942f90d505509b53aee722c63566298fe
tree77e0e8df7b43cb5a243641d9ac8268c5610df3e6
parent5ffbb247aeb517bd72d8e53dd601eabd3a68b01b
parenta9ede85179a0e7ec913446e9d6b4691f813e90dc
Merge "Fix GUI for Special:Tags if a user has deletechangetags permission only"