Merge branch 'master' of https://github.com/nextcloud/desktop
authorMichael Schuster <michael@schuster.ms>
Wed, 11 Sep 2019 15:27:49 +0000 (17:27 +0200)
committerMichael Schuster <michael@schuster.ms>
Wed, 11 Sep 2019 15:27:49 +0000 (17:27 +0200)

Trivial merge