]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 188051b 1e7a82d)
Merge pull request #23904 from nextcloud/fix/php-lint
authorJohn Molakvoæ <skjnldsv@users.noreply.github.com>
Thu, 5 Nov 2020 09:51:13 +0000 (10:51 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Nov 2020 09:51:13 +0000 (10:51 +0100)
Fix php lint action


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