Merge "mediawiki.user: Remove deprecated stickyRandomId()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Feb 2019 23:40:29 +0000 (23:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Feb 2019 23:40:29 +0000 (23:40 +0000)
commitc0a992b8c45fcfd29fbb579cb43fd34b40f63cef
tree01571d80f02537257344a95f8ce4d90783a4b1a7
parent2cae063de0bb4f12253535237d18bc2e8c6fed2a
parent75a90d2e578a33996ad6a004e1e29078efd3d20f
Merge "mediawiki.user: Remove deprecated stickyRandomId()"
RELEASE-NOTES-1.33