Merge pull request #14148 from neheb/nin
authorRosen Penev <rosenp@gmail.com>
Mon, 7 Dec 2020 23:12:59 +0000 (15:12 -0800)
committerGitHub <noreply@github.com>
Mon, 7 Dec 2020 23:12:59 +0000 (15:12 -0800)
commit874b434a1cb51c940d3c422382e9c8267d50c2ab
tree5f18a98966db09bd4ac493d2249a2ffd8762a0ee
parent5c5f579f38c81ef1eaaf5f768bfcb223b4d38592
parentf25f29c740da5bcafb1500b55c9ebfb39eb35f9f
Merge pull request #14148 from neheb/nin

ninja: update to 1.10.2