]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #21787 from nextcloud/enh/hello-psalm
authorMorris Jobke <hey@morrisjobke.de>
Tue, 18 Aug 2020 11:38:03 +0000 (13:38 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Aug 2020 11:38:03 +0000 (13:38 +0200)
Hello psalm


Trivial merge