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)
commit41d9951575fe890fb91f1e3defa1dd0011dc3815
treecc7f903d45b62b0081c32c8b1fd7338928228e84
parentfeac07c88dcb5fecb7c2c97d8977706f4b6f229c
parent0f317d653643b49a6fd28b785b7655f0c08124b2
Merge pull request #13228 from neheb/ninj

ninja: update to 1.10.1
git clone https://git.99rst.org/PROJECT