num_cpus --> cpu_count


cpu_count is a much nicer name than num_cpus; please rename it


If you want to change it, I suggest you chime in on the reform RFC (specifically, this line).

1 Like

thanks for that one; I suggested the change.

closed #4

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.