Merge pull request #11210 from dibdot/master
authorDirk Brenken <dev@brenken.org>
Sun, 2 Feb 2020 14:16:19 +0000 (15:16 +0100)
committerGitHub <noreply@github.com>
Sun, 2 Feb 2020 14:16:19 +0000 (15:16 +0100)
adblock: update 3.8.15


Trivial merge