From: Nico Weber Date: Wed, 29 Apr 2015 21:26:54 +0000 (-0700) Subject: Merge pull request #962 from sgraham/pool-use-fix X-Git-Tag: v1.6.0^2~7 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=3cae29b166c27a93a26cc5f086ba7d89ea81494d;p=platform%2Fupstream%2Fninja.git Merge pull request #962 from sgraham/pool-use-fix Fix pool use count going unbalanced --- 3cae29b166c27a93a26cc5f086ba7d89ea81494d