]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #36253 from nextcloud/chore/dav/remove-useless-var-tag
authorChristoph Wurst <ChristophWurst@users.noreply.github.com>
Fri, 20 Jan 2023 08:19:35 +0000 (09:19 +0100)
committerGitHub <noreply@github.com>
Fri, 20 Jan 2023 08:19:35 +0000 (09:19 +0100)
chore(dav): Remove useless var tag


Trivial merge