[m-rev.] for review: Separate processor counting from thread pinning.

[Julien Fischer]

On Mon, 23 Jun 2014, Peter Wang wrote:

> Branches: master, 14.01
>
> In low-level C parallel grades we need the number MR_num_processors to
> prime MR_num_threads when it is not explicitly set by the user, even if
> thread pinning support is not available.

BTW, can you add a brief entry to the 14.01.1 NEWS about this.

Cheers,
Julien.