]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #23464 from nextcloud/enhancement/psalm-typed-migration-schema...
authorMorris Jobke <hey@morrisjobke.de>
Thu, 15 Oct 2020 11:21:44 +0000 (13:21 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Oct 2020 11:21:44 +0000 (13:21 +0200)
Add psalm types for the migration schema closure


Trivial merge