Merge pull request #10758 from dibdot/adblock
authorDirk Brenken <redacted>
Wed, 11 Dec 2019 15:27:57 +0000 (16:27 +0100)
committerGitHub <redacted>
Wed, 11 Dec 2019 15:27:57 +0000 (16:27 +0100)
adblock: bugfix 3.8.14


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