Merge "AuthManager: Always whitelist some special pages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Aug 2016 23:46:04 +0000 (23:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Aug 2016 23:46:04 +0000 (23:46 +0000)
commit84154b4b250b626b67f7526bc988bddfeb95baa2
treeec6facd856a112cee1cf9688ef5212d6273bf64e
parent501d34c5995b67111d527828946f2a6ed7709849
parentf2598a0b21596c6ad515f385570f6571b07b2333
Merge "AuthManager: Always whitelist some special pages"