Merge "RCFilters: Work around Chrome browser bug in filter menu"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Jul 2018 17:02:53 +0000 (17:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Jul 2018 17:02:53 +0000 (17:02 +0000)
commit2b9391c966ed6ae8780153c25e684a3cb44ee46a
tree0c11215b7d9bb10f1a29efe2af6ebeb2c4d906b6
parent05a4432e2a165844b1295401a62ee313a55a5f2d
parentaf3a8cd824c00e5181238a50d2e3d64c31b14628
Merge "RCFilters: Work around Chrome browser bug in filter menu"