]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #22340 from nextcloud/dashboard/design-polishing
authorJan C. Borchardt <hey@jancborchardt.net>
Thu, 20 Aug 2020 20:05:22 +0000 (22:05 +0200)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 20:05:22 +0000 (22:05 +0200)
Some more Dashboard design polishing


Trivial merge