]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #18642 from nextcloud/design/settings-section
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Fri, 3 Jan 2020 11:24:56 +0000 (12:24 +0100)
committerGitHub <noreply@github.com>
Fri, 3 Jan 2020 11:24:56 +0000 (12:24 +0100)
Settings: More spacing for development notice


Trivial merge