Northeastern’s Systems group replaced the electric systems for the
past 24 hours. All servers went down, including Racket’s. Sadly the
re-boot for our machine did not launch the following services properly.
mirror.racket-lang.org <http://mirror.racket-lang.org/> (so downloads go
through other mirrors)
planet.racket-lang.org <http://planet.racket-lang.org/>
redex.racket-lang.org <http://redex.racket-lang.org/>
lists.racket-lang.org <http://lists.racket-lang.org/> (but main lists are
on Google Groups)
For developers: the old svn server is gone, too, as is plt-git. Neither
ought to block any critical work.
Due to the holidays, we don’t expect anything to happen until the
28th or 29th earliest.
Sorry for any inconvenience but due to the diligent work of
everyone else in PLT, this outage ought to be a minor one now.
With apologies. We will keep everyone posted — Matthias
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
