]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d77ed81 327ec78)
Merge pull request #23446 from nextcloud/backport/23377/stable20
authorMorris Jobke <hey@morrisjobke.de>
Wed, 14 Oct 2020 15:40:06 +0000 (17:40 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 15:40:06 +0000 (17:40 +0200)
[stable20] Annotate IContainer so Psalm knows what resove and query return


Trivial merge
Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server