Oh, I'm not sure. I don't maintain the machine that serves that content myself. If it stays down, I can contact the maintainers, tho.
Robby On Sat, Jul 18, 2015 at 6:21 PM, Alexander D. Knauth <[email protected]> wrote: > And now it's up again! > > But it wasn't just me, because I think it was also down for my Travis CI > builds of afl. > > On Jul 18, 2015, at 7:18 PM, Robby Findler <[email protected]> > wrote: > >> Seems to be up for me. Also >> http://downforeveryoneorjustme.com/plt.eecs.northwestern.edu >> >> Robby >> >> On Sat, Jul 18, 2015 at 6:11 PM, Alexander D. Knauth >> <[email protected]> wrote: >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "Racket Developers" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to [email protected]. >>> To post to this group, send email to [email protected]. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/racket-dev/53C6E6F7-3C2E-411D-B664-BC8AE649F950%40knauth.org. >>> For more options, visit https://groups.google.com/d/optout. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-dev/CAL3TdOOvE5PJ-Xkt2D-2SAy9DN1FMhL0a-FJnt2u%2BPoKhEPfeg%40mail.gmail.com. >> For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAL3TdOMU0baC67vAG2_7sEtRmTb5Lig_j3R007aCbnHD%3DAFMoA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
