]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #8748 from nextcloud/13.0.1-RC1 v13.0.1RC1
authorMorris Jobke <hey@morrisjobke.de>
Fri, 9 Mar 2018 20:22:14 +0000 (21:22 +0100)
committerGitHub <noreply@github.com>
Fri, 9 Mar 2018 20:22:14 +0000 (21:22 +0100)
13.0.1 RC1


Trivial merge