Merge "Drop SessionManager::autoCreateUser(), deprecated in 1.27 and unused"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Feb 2019 22:37:17 +0000 (22:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Feb 2019 22:37:17 +0000 (22:37 +0000)
commit948bdf5746444d72e82c4199b5dd676ecb1658a8
tree911f4549304f67bcb9d931e9618e63435563fd02
parentf035532840a758fb129daa462f164617f3902cbb
parent5370286bd368b8aadf97c133cc03520746900388
Merge "Drop SessionManager::autoCreateUser(), deprecated in 1.27 and unused"