Merge pull request #1887 from nicolasfella/colon
authorDominique Fuchs <32204802+DominiqueFuchs@users.noreply.github.com>
Sat, 25 Apr 2020 10:17:29 +0000 (12:17 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Apr 2020 10:17:29 +0000 (12:17 +0200)
[dolphin] Fix overlays when filename has a colon


Trivial merge