Merge "SizeFilterWidget: Reduce width"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Apr 2018 12:09:43 +0000 (12:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Apr 2018 12:09:43 +0000 (12:09 +0000)
commit8c371e76b7c10a00acac185ef91ef2627e0d582d
tree6c641f031423db01a98cffc258bc62b7247c2485
parent41b2cb25bd326228963f45d5729ff0eed6fe1681
parent7ab57a64606ce046fbeadc98db3ef2099f82aa8a
Merge "SizeFilterWidget: Reduce width"