Commit 2ad07ad557516c47ec48732c2ae01c91c5b3034c

Edward Thomson 2018-10-20T18:14:25

Merge pull request #4841 from tiennou/ci/ninja-build Ninja build