Merge pull request #13228 from neheb/ninj
authorRosen Penev <redacted>
Fri, 28 Aug 2020 08:09:31 +0000 (01:09 -0700)
committerGitHub <redacted>
Fri, 28 Aug 2020 08:09:31 +0000 (01:09 -0700)
ninja: update to 1.10.1


Trivial merge
git clone https://git.99rst.org/PROJECT