Merge "Use UserIdentity::isRegistered instead of User::isAnon in BlockManager"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Aug 2019 15:22:40 +0000 (15:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Aug 2019 15:22:40 +0000 (15:22 +0000)
commitbfd7b5a0e8a3267b553ef2ac74425780de7fc7fb
tree2bfad8cfdc9b2a875064a291efe1111f0db5db55
parent24a104dc7e7772387a66c04040856e1fc3edee5b
parent81f96bee1f753d418fdc3a4f8d83b2c967e84153
Merge "Use UserIdentity::isRegistered instead of User::isAnon in BlockManager"