projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e5671f8 bf2f4b7)
Merge pull request #962 from sgraham/pool-use-fix
authorNico Weber <nicolasweber@gmx.de>
Wed, 29 Apr 2015 21:26:54 +0000 (14:26 -0700)
committerNico Weber <nicolasweber@gmx.de>
Wed, 29 Apr 2015 21:26:54 +0000 (14:26 -0700)
Fix pool use count going unbalanced


Trivial merge
Domain: System / Base;