change: set num_processes_per_host only if provided by user#928

Merged

ChoiByungWook merged 4 commits intoaws:masterfrom

ChoiByungWook:set_num_processes_per_host

Jul 16, 2019

Commits on Jul 12, 2019

change: set num_processes_per_host only if provided by user
Dan Choi
committed

Commits on Jul 15, 2019

Merge branch 'master' into set_num_processes_per_host
Dan
authored

Commits on Jul 16, 2019