projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 20a8405 f5c5789)
Merge pull request #940 from nico/moredupes
authorNico Weber <nicolasweber@gmx.de>
Thu, 19 Mar 2015 23:57:54 +0000 (16:57 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 19 Mar 2015 23:57:54 +0000 (16:57 -0700)
Another crash fix for duplicate edges. Fixes #939.


Trivial merge
Domain: System / Base;