Merge pull request #1884 from nicolasfella/menuaction
authorDominique Fuchs <32204802+DominiqueFuchs@users.noreply.github.com>
Sat, 25 Apr 2020 12:57:32 +0000 (14:57 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Apr 2020 12:57:32 +0000 (14:57 +0200)
[dolphin] Use menuAction() instead of manual creation


Trivial merge