Merge pull request #1179 from ludovic-henry/pr25-threadpool
authorRodrigo Kumpera <kumpera@gmail.com>
Tue, 7 Oct 2014 14:34:43 +0000 (10:34 -0400)
committerRodrigo Kumpera <kumpera@gmail.com>
Tue, 7 Oct 2014 14:34:43 +0000 (10:34 -0400)
[threadpool] Improve heuristic to approach optimal number of threads based on workload


Trivial merge