Merge pull request #422 from dfffffff/master
authorEtchedPixels <alan@etchedpixels.co.uk>
Sat, 3 Sep 2016 12:02:38 +0000 (13:02 +0100)
committerGitHub <noreply@github.com>
Sat, 3 Sep 2016 12:02:38 +0000 (13:02 +0100)
fix Kernel parallel build


Trivial merge