Merge "Add User::isBot() method"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 May 2016 00:59:53 +0000 (00:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 May 2016 00:59:53 +0000 (00:59 +0000)
commit8ebc12758afe3e315df0ebd93f8b7a4079d0a1a0
tree9e871e437f4cde1178d2f4d5e57675dfdb998721
parent6dbac1054d3b81ac32c09da90c136e07857ef224
parentf7af8f6724c43f6fdf2c745e88f798bdf90c4839
Merge "Add User::isBot() method"