Merge "Preferences: Turn stubthreshold back into a combo box"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Jul 2014 15:55:38 +0000 (15:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Jul 2014 15:55:38 +0000 (15:55 +0000)
commitce6f8fa92e556bc02198db85eb8f40e1841adc3b
tree55d2981d8241126c2e0e16d800f0d1579e10fea3
parent821fadb67d42b35d2f7889e949ed062fa6605bf9
parent588880c5f0567fca144a37066e87db3712ef32ac
Merge "Preferences: Turn stubthreshold back into a combo box"