Merge pull request #2341 from ludovic-henry/fix-threadpool-max-worker
authormonojenkins <jo.shields+jenkins@xamarin.com>
Mon, 14 Dec 2015 19:04:11 +0000 (19:04 +0000)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Mon, 14 Dec 2015 19:04:11 +0000 (19:04 +0000)
Merge pull request #2341 from ludovic-henry/fix-threadpool-max-worker

[automerge][threadpool] Fix various threadpool issues

Tests results:
 - ARM soft float Linux: pending
 - i386 Windows: pending
 - i386 Linux: success
 - ARM hard float Linux: pending
 - AMD64 Linux: success
 - i386 OSX (Proprietary): failure


Trivial merge