Merge pull request #10747 from dibdot/adblock
authorDirk Brenken <redacted>
Tue, 10 Dec 2019 19:14:27 +0000 (20:14 +0100)
committerGitHub <redacted>
Tue, 10 Dec 2019 19:14:27 +0000 (20:14 +0100)
adblock: bugfix 3.8.13


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