Merge "RC Filters: Avoid unnecessary update events when clearing highlight"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 2 Jul 2018 22:36:47 +0000 (22:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 2 Jul 2018 22:36:47 +0000 (22:36 +0000)
commit9be835917d83dea04897484211f6627e9e0101d3
treef78b428f8307c6892598a2298d3e53f2a43006b2
parent311523b6a9a86f65208c9009e52069d32ee8e526
parent830efff4fc1cade606eecdaa1f7f78e0dc5e1226
Merge "RC Filters: Avoid unnecessary update events when clearing highlight"