Re: [Mirrors] Open question

2016-07-15 Thread Jeff Squyres (jsquyres)
Ok, thanks! Are you still listed on our mirror page? I just removed what appeared to be a bunch of stale entries: https://www.open-mpi.org/community/mirrors/ > On Jul 15, 2016, at 8:47 AM, Andreas Worbs wrote: > > Hi Jeff, > > > sorry for our late answer. We

Re: [Mirrors] Open question

2016-07-15 Thread Andreas Worbs
Hi Jeff, sorry for our late answer. We don't need the mirror service and removed Open MPI of our mirror site. Have a nice day, Andi Am 15.07.16 um 14:42 schrieb Jeff Squyres (jsquyres): > Mirror administrators -- > > I haven't heard back from any of you. Please let me know if you're still >