Is the open-mpi.org site down, or do I have a local problem with access?

Thanks,
Sean

_______________________________________________
users mailing list
users@open-mpi.org
http://www.open-mpi.org/mailman/listinfo.cgi/users