Re: [racket-dev] downtime

2013-12-28 Thread Robby Findler
We have also looked into the cause and are working to avoid this particular failure mode. We're sorry about this and are working to avoid it going forward. Robby On Sat, Dec 28, 2013 at 8:45 AM, Matthias Felleisen wrote: > > As some of you may have noticed, we experienced a day of downtime thi

[racket-dev] downtime

2013-12-28 Thread Matthias Felleisen
As some of you may have noticed, we experienced a day of downtime this week. It was due to a brief power outage and a slight misconfiguration of the server. Eli will filter the mail queues so that messages about the outage are kept to a minimum. -- Matthias