Merge branch 'master' of https://github.com/DominiqueFuchs/desktop
authorDominique Fuchs <32204802+DominiqueFuchs@users.noreply.github.com>
Fri, 6 Sep 2019 18:43:51 +0000 (20:43 +0200)
committerDominique Fuchs <32204802+DominiqueFuchs@users.noreply.github.com>
Fri, 6 Sep 2019 18:43:51 +0000 (20:43 +0200)

Trivial merge