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
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
>