Merge "Revert "Factors out permissions check from User into PermissionManager service""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 30 May 2019 14:24:07 +0000 (14:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 30 May 2019 14:24:07 +0000 (14:24 +0000)
commita7bb3119f4eca4c41a629d9a234b21e5ef649cc3
tree2298bdf4ac5c1145d333b8a0d6d6e862bfba68ac
parent74881a7eacdb39fc22fb7b60b6f12d1c3ee21dc3
parent7f90d1e3a35bbbe91852c7692db826abad4b4f4a
Merge "Revert "Factors out permissions check from User into PermissionManager service""