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 jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
