Merge "Record user login timing"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 4 Aug 2017 20:03:24 +0000 (20:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 4 Aug 2017 20:03:24 +0000 (20:03 +0000)
commit87d9b01e08307640a26a4892b061f89f30967a9e
tree3e576ed896e9b15f65c8cde7c5af69ed1e879b7a
parenta10b14d78a4589fbdfe33bc9c9c0a8ab85bd626e
parent2043b3e14f5cd3ce6f51234d95505e10e7b644fb
Merge "Record user login timing"