Merge "Update cached user ID after user is added to the database"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Nov 2015 19:00:10 +0000 (19:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Nov 2015 19:00:10 +0000 (19:00 +0000)
commit7ff2f8f3fbe550456ab0bd56c111d490770fae9f
treea265149d2763aefb50d1802890e07a64c1aa813c
parentce6d7b945fdcabe55c5cb0aff8723e0010a8ab56
parent780c368b5e4231daffd415ce8911c2c0fb56b70f
Merge "Update cached user ID after user is added to the database"