The lists.open-mpi.org server went offline due to an outage at our hosting provider sometime in the evening on Aug 22 / early morning Aug 23 (US Eastern time). The list server now appears to be back online; I've seen at least a few backlogged emails finally come through.
If you sent a mail in the last few days and it doesn't show up on https://www.mail-archive.com/[email protected]/ or https://www.mail-archive.com/[email protected]/, you may need to resend it. -- Jeff Squyres [email protected] _______________________________________________ devel mailing list [email protected] https://lists.open-mpi.org/mailman/listinfo/devel
