Merge pull request #958 from rui314/master
authorNico Weber <nicolasweber@gmx.de>
Sun, 19 Apr 2015 03:43:24 +0000 (20:43 -0700)
committerNico Weber <nicolasweber@gmx.de>
Sun, 19 Apr 2015 03:43:24 +0000 (20:43 -0700)
Run more than 34 processes on Win32 if we have 32+ cores.


Trivial merge