Re: Two problems with result of num_processors (NPROC_CURRENT_OVERRIDABLE)

[Paul Eggert]

Thanks, that all sounds reasonable. Can you suggest a patch? Preferably, in "git 
format-patch" format, with a ChangeLog entry. Thanks.