It looks like the Open MPI mailman list server got a little backed up. It was just restarted, and is now delivering the backlog.
-- Jeff Squyres [email protected] _______________________________________________ devel mailing list [email protected] https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
