]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #22447 from nextcloud/enh/phpdoc
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Thu, 27 Aug 2020 08:28:30 +0000 (10:28 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Aug 2020 08:28:30 +0000 (10:28 +0200)
Use proper branch name in phpdoc builds


Trivial merge