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)
commit575101d5323a525b319480b8ec9566508e01dc62
tree7c0326bdbda43a7b767bb89a538292534d2e7234
parentb514a7460915f7a3e97f9dbabf40924b9d9807d8
parent66bf801f3a6ff15db31eb689324917ec2cd312ec
Merge pull request #11254 from neheb/rhgerg34233

ninja: updated to 1.10.0