Merge pull request #16226 from dibdot/master
authorDirk Brenken <redacted>
Mon, 26 Jul 2021 17:05:59 +0000 (19:05 +0200)
committerGitHub <redacted>
Mon, 26 Jul 2021 17:05:59 +0000 (19:05 +0200)
adblock: bugfix 4.1.3-3


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