Merge pull request #11216 from dibdot/19.07-2
authorDirk Brenken <dev@brenken.org>
Sun, 2 Feb 2020 14:42:24 +0000 (15:42 +0100)
committerGitHub <noreply@github.com>
Sun, 2 Feb 2020 14:42:24 +0000 (15:42 +0100)
[19.07] adblock: update 3.8.15


Trivial merge