uwiger/gproc — pull request #60 by uwiger (2014-04-17 17:51:54+00:00)
Title: remove_worker must set {NewLen,Type}

gproc_pool:remove_worker/2 set the shared pool property to `NewLen`, rather than `{NewLen, Type}` (see issue #59).