projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 40caace 2debfb8)
Merge pull request #2733 from ludovic-henry/fix-mono_cpu_count
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Thu, 10 Mar 2016 15:02:40 +0000 (16:02 +0100)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Thu, 10 Mar 2016 15:02:40 +0000 (16:02 +0100)
[utils] Make distinction between configured and online CPU count


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono