Merge pull request #7185 from neheb/grilo
authorHannu Nyman <redacted>
Sun, 11 Nov 2018 09:35:48 +0000 (11:35 +0200)
committerGitHub <redacted>
Sun, 11 Nov 2018 09:35:48 +0000 (11:35 +0200)
commit1aebe2759c97b2e8fad968d86548eb481d73cdf9
tree9fc0a91947439a812e6298abcb1c77fea6d4173a
parent7cfb54205d2c6c06f41ad7153d0d350c1ca1ff5c
parent775cdf7bdf12700af377d67c50175a923f20d244
Merge pull request #7185 from neheb/grilo

grilo: Enable parallel building
git clone https://git.99rst.org/PROJECT