Merge "RCFilters: Target pushPin icon for size, not all icons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 Aug 2017 12:27:26 +0000 (12:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 Aug 2017 12:27:26 +0000 (12:27 +0000)
commit6939a99e575276090175f7bcf1fff613af6fd969
tree4039d45edb0e58104a6d4802d7848239430712a5
parentec5c21b2a81c91fa93268980eba7c48e86d55798
parent17e2e7614bbd1c19428b9385e4d1c68de57b8176
Merge "RCFilters: Target pushPin icon for size, not all icons"