Merge "Made User::touch no longer call load()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 Jun 2015 07:47:00 +0000 (07:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Jun 2015 07:47:00 +0000 (07:47 +0000)
commit6378a12c88b3ef9038f1a7d057a1c7be37bec692
tree2233e8fe286c070b5ad79218e9a8116fb7ace9aa
parentd0d539e6bae1d5b333828ad346eadef3399f5fb1
parent5b2670b31b913a43bc98ea6d1a74e13a5de0237a
Merge "Made User::touch no longer call load()"
includes/User.php