Hopefully all will be well by around 10am US Eastern.
-- Jeff Squyres Cisco Systems
There appear to be some DNS issues with open-mpi.org right now due to
some scheduled server maintenance at IU. This may prevent SVN or HG
operations, particularly if you're operating behind a proxy.
