Re: [OMPI devel] RFC: Dead code removal

[Shamis, Pavel]

> - coll ml
This one is used.
> 
> - sbgp basemsocket
This one is used as well

-P.