Merge "search: Use @width-breakpoint-tablet instead of @deviceWidthTablet"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 9 Aug 2018 18:30:53 +0000 (18:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 9 Aug 2018 18:30:53 +0000 (18:30 +0000)
commit58a568f4db7e8e93a5d13c30a39e49b1663d3c9d
tree55747789c5565dc398233ad7c5a51a34f5660564
parent5f62ddb9c6dabf459bd123a677f1832a760f8224
parentefc7f7dd9a3cf941b210b437450f79cdc5a63c93
Merge "search: Use @width-breakpoint-tablet instead of @deviceWidthTablet"