Merge "Remove unused fields from User"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Oct 2015 07:36:19 +0000 (07:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Oct 2015 07:36:19 +0000 (07:36 +0000)
commitd7374613ddf92f9ce57773bd70824f9836fd1f16
tree4de7ee4bc51b8ab9de252f6d8c44a0a1463ecb9c
parent160a7ed930673506ff2207885f9cbd5907c93c85
parent8ab0149c86ba38951201fc3d8d71a85642d76cb9
Merge "Remove unused fields from User"