rjogrady/ninja — pull request #3 by rjogrady (2014-12-11 19:25:52+00:00)
Title: Merge master

Merge ninja 1.5.3