Merge "preferences: Fix skinname msg check in generateSkinOptions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 31 Jul 2019 15:06:33 +0000 (15:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 31 Jul 2019 15:06:33 +0000 (15:06 +0000)
commita26e1114b0e97429b9f3bf8535edcd36b213fb54
tree8f98f5484ea2e3fdb4b7f04fdcfbffa1a6d8878d
parent6162ec0f3551719420bba32fbac6e9b0e9a026fa
parent789b5239f64459911e6dcc4166254337790c4253
Merge "preferences: Fix skinname msg check in generateSkinOptions"