Update adblockplusui dependency to 713bd3fe5fa1 (release-2019-3.1)
Background
This imports the following changes: https://gitlab.com/eyeo/adblockplus/abpui/adblockplusui/compare/release-2019-3...release-2019-3.1
See also Release 2019-3.1.
What to change
Change adblockplusui dependency to hg:713bd3fe5fa1 git:a85dfa9
.
Hints for testers
See hints for testers in individual issues.
Edited by Thomas Greiner