Merge pull request #9395 from stangri/master-simple-adblock
authorDirk Brenken <dev@brenken.org>
Fri, 5 Jul 2019 04:40:00 +0000 (06:40 +0200)
committerGitHub <noreply@github.com>
Fri, 5 Jul 2019 04:40:00 +0000 (06:40 +0200)
simple-adblock: options to filter non-ASCII domains, local compressed storage


Trivial merge