I originally sent this mail on Saturday, but it looks like lists.open-mpi.org was *not* actually back at this time.
I'm finally starting to see all the backlogged messages on Tuesday, around 5pm US Eastern time. So I think lists.open-mpi.org is finally back in service. Sorry for the interruption, folks. > On Aug 26, 2018, at 3:22 PM, Jeff Squyres (jsquyres) <jsquy...@cisco.com> > wrote: > > 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). As of yesterday morning (Saturday, Aug 25), 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/devel@lists.open-mpi.org/ or > https://www.mail-archive.com/users@lists.open-mpi.org/, you may need to > resend it. > > -- > Jeff Squyres > jsquy...@cisco.com > -- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/devel