Merge pull request #11254 from neheb/rhgerg34233
authorRosen Penev <rosenp@gmail.com>
Wed, 5 Feb 2020 10:46:49 +0000 (02:46 -0800)
committerGitHub <noreply@github.com>
Wed, 5 Feb 2020 10:46:49 +0000 (02:46 -0800)
ninja: updated to 1.10.0


Trivial merge