From: Roeland Jago Douma <rullzer@users.noreply.github.com>
Date: Tue, 30 Jun 2020 17:40:56 +0000 (+0200)
Subject: Merge pull request #21592 from nextcloud/debt/noid/drop-parallel-lint
X-Git-Tag: v20.0.0beta1~348
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=89b548d6cc01164646ccde97e9d5bc4b1393fc1a;p=nextcloud-server.git

Merge pull request #21592 from nextcloud/debt/noid/drop-parallel-lint

Remove unused jakub-onderka/php-parallel-lint
---

89b548d6cc01164646ccde97e9d5bc4b1393fc1a