Merge "Remove pointless PermissionManager::revokeTemporaryUserRights method"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 Jul 2019 00:23:33 +0000 (00:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Jul 2019 00:23:33 +0000 (00:23 +0000)
commit519c7bb5b12bdb7f1b1da80fdb8ff0071a84f9da
treede70fa37c61358981362100e7eef6822e946dc2c
parent8699880aab6f666f902b8d8927325760adfe7c20
parent773f915d76c5cad1bab9ed037d457e923940abad
Merge "Remove pointless PermissionManager::revokeTemporaryUserRights method"