build/27
Kai Kretschmann
@kai
946e34fa
·
Use number of cores to get thread pool dimension.
·
Mar 09, 2018
New stable build verified by Jenkins.