Merge "Preferences: Display the default skin first in the list"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 8 Dec 2017 02:24:38 +0000 (02:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 8 Dec 2017 02:24:38 +0000 (02:24 +0000)
commit7ce640bd612ad49e7fa1b9f4d224a448fbc09a8e
tree4b46327d7c9741d8cceae1480af4aeac2c9fb050
parentc4c11722253fc6b5bb8fb023c7f7982664cb4107
parent4ca2866a93f1806b80c10e7abbedd587ce11c12e
Merge "Preferences: Display the default skin first in the list"