]> source.dussan.org Git - nextcloud-server.git/commit
Merge pull request #21592 from nextcloud/debt/noid/drop-parallel-lint
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Tue, 30 Jun 2020 17:40:56 +0000 (19:40 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Jun 2020 17:40:56 +0000 (19:40 +0200)
commit89b548d6cc01164646ccde97e9d5bc4b1393fc1a
tree4330820d9b936a01661551b356a7050cd9a53d3c
parentbc29e361b2002002a56911c1026622df866b246d
parente6dc1b2dcf206ea769d1b2d0737e78f4876b9e0a
Merge pull request #21592 from nextcloud/debt/noid/drop-parallel-lint

Remove unused jakub-onderka/php-parallel-lint