Merge "Directly use getSession for specialPreferencesSaveSuccess"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 29 Aug 2016 16:54:15 +0000 (16:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Aug 2016 16:54:15 +0000 (16:54 +0000)
commit1fbb5fcaa7bfb6d38d24ee0ae64439e43423e023
treedee6f75e3c051e875f658197d7973389377863fd
parent4fa6af98f9b258a8e2b9d949f88b443e8a153922
parenta4efd27998e0202eec82aea5e5fc70650fbdf514
Merge "Directly use getSession for specialPreferencesSaveSuccess"