No objection from me. > On Jun 5, 2018, at 12:09 PM, [email protected] wrote: > > Hey folks > > Does anyone have heartburn if I remove the “prun” tool from ORTE? I don’t > believe anyone is using it, and it doesn’t look like it even works. > > I ask because the name conflicts with PRRTE and can cause problems when > running OMPI against PRRTE > > Ralph > > _______________________________________________ > devel mailing list > [email protected] > https://lists.open-mpi.org/mailman/listinfo/devel
-- Jeff Squyres [email protected] _______________________________________________ devel mailing list [email protected] https://lists.open-mpi.org/mailman/listinfo/devel
