No objection from me. > On Jun 5, 2018, at 12:09 PM, r...@open-mpi.org 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 > devel@lists.open-mpi.org > https://lists.open-mpi.org/mailman/listinfo/devel
-- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/devel
