uwiger/gproc — pull request #75 by uwiger (2014-09-20 12:22:15+00:00)
Title: removing dead waiter (dist) accidentally deletes reg

See Issue #74