Re: [OMPI devel] lists.open-mpi.org appears to be back

2018-08-28 Thread Jeff Squyres (jsquyres) via devel
(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

[OMPI devel] lists.open-mpi.org appears to be back

2018-08-28 Thread Jeff Squyres (jsquyres) via devel
mails 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...

[OMPI devel] lists.open-mpi.org appears to be back

2018-08-28 Thread Jeff Squyres (jsquyres) via devel
il 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 ___ devel mailing