Merge "Preferences: Allow only languages with translations in user options"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 14 Jun 2018 13:56:39 +0000 (13:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Jun 2018 13:56:39 +0000 (13:56 +0000)
commit3ee52d10a2a28754daf0123021f2dc1db5ff39e6
tree635251f50f9760979b29640f301bd5cd165bef5b
parent4f73259b37571e4082ded48b47f571b632966bd5
parentaad2e5c38bfea0e2def9b811e4ecda2cd132fc29
Merge "Preferences: Allow only languages with translations in user options"