Merge pull request #9742 from dibdot/adblock
authorDirk Brenken <redacted>
Fri, 16 Aug 2019 04:14:51 +0000 (06:14 +0200)
committerGitHub <redacted>
Fri, 16 Aug 2019 04:14:51 +0000 (06:14 +0200)
adblock: release 3.8.0


Trivial merge
git clone https://git.99rst.org/PROJECT