Merge "Make filter area togglable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Nov 2017 10:46:51 +0000 (10:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Nov 2017 10:46:51 +0000 (10:46 +0000)
commitefefeaa05df9a17edaf3825814625d1dbfe62413
treeaaeae7e5c0217179f226c090ed8b6d5242c2d3ad
parentb078946296338ca92710c8eec519c179e306aa4a
parentb1395ccb0b3ba8a6bf0617cb5f24b6528b2d3886
Merge "Make filter area togglable"