]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #34488 from nextcloud/typehint_closures
authorCarl Schwan <carl@carlschwan.eu>
Mon, 10 Oct 2022 11:15:50 +0000 (13:15 +0200)
committerGitHub <noreply@github.com>
Mon, 10 Oct 2022 11:15:50 +0000 (13:15 +0200)
typehint migrationservice closures


Trivial merge