Replace gen_leader with locks_leader for gproc_dist - #207

Replace gen_leader with locks_leader for gproc_dist#207

uwiger wants to merge 6 commits into

masteruwiger/gproc:masterfrom

uw-new-locks_leaderuwiger/gproc:uw-new-locks_leaderCopy head branch name to clipboard