Merge "RCFilters: Live Update: download less data"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Sep 2017 21:10:08 +0000 (21:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Sep 2017 21:10:08 +0000 (21:10 +0000)
commitd3edceead636d077b5d685a1aa06cd5030e65afd
treea262d1db8b11ae334740f6f26daccf346a10d5c6
parente6e76da9de512cfe2aaac7d7e7261c25032e6f43
parent0725cbe9a76fb11eed382aa1d4dfaabfabb5e9b6
Merge "RCFilters: Live Update: download less data"