Merge pull request #1847 from nextcloud/enh/updater
authorMichael Schuster <48932272+misch7@users.noreply.github.com>
Tue, 10 Mar 2020 14:53:47 +0000 (15:53 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 14:53:47 +0000 (15:53 +0100)
Updater: Enhance UI, make build optional

1  2 
src/gui/application.cpp

Simple merge