Re: Two problems with result of num_processors (NPROC_CURRENT_OVERRIDABLE)

[Bruno Haible]

Pádraig Brady wrote:
> Yes much better with that cleanup.
> I presume you'll apply.

OK, pushed.