Merge "Removed 'Remember my login' preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 Apr 2014 17:02:43 +0000 (17:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 Apr 2014 17:02:43 +0000 (17:02 +0000)
commitd16f223edf4dcb24b77160ce0be86ef9f9c940fd
treea4651d38477ef5c1e3cd71768484228eb0285aa0
parent91372c2225304291b7f77c20dedc2ffab000f508
parent74756a24091d3b875a2fbf8759d8688609727586
Merge "Removed 'Remember my login' preference"
RELEASE-NOTES-1.23
includes/Preferences.php
includes/User.php