[OpenLayers-Users] openlayers server down?

[Luke Roth]

It looks like the openlayers server is down today.  Unfortunately,
I've been doing some development with the 'dev' version of openlayers
(to try out the GoogleNG layer) and had linked to the live version,
and now I can't use my page.  The most recent local version I have is
2.11rc1, which doesn't work.  Does anybody have a recent copy of the
dev version of Openlayers (http://openlayers.org/dev/OpenLayers.js)?
I'd be willing to host it until the OpenLayers site is back up.
Thanks,
Luke