Merge pull request #7185 from neheb/grilo
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 11 Nov 2018 09:35:48 +0000 (11:35 +0200)
committerGitHub <noreply@github.com>
Sun, 11 Nov 2018 09:35:48 +0000 (11:35 +0200)
grilo: Enable parallel building


Trivial merge