Merge "RCFilters: Adjust pushpin 'default' icon behavior and style"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 24 Aug 2017 00:23:47 +0000 (00:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 24 Aug 2017 00:23:48 +0000 (00:23 +0000)
commit4fc47351d7b99482213ec0d07600d05517d67445
tree62eb8eeb3af39a538dadbd75a5f9f7e482cc6d25
parent89df73c9a547be322c2a4026ce5458ff0670aa92
parent196c3f06624231f0b4a0fff76e3bcee3810987e1
Merge "RCFilters: Adjust pushpin 'default' icon behavior and style"