(migrated to dev list) I’m guessing this hasn’t gotten to the top of anyone’s to-do list, yet… ?
John > On May 8, 2019, at 20:53, Sam Tobin-Hochstadt <[email protected]> wrote: > > bugs.racket-lang.org was hosted on a server at Northeastern, which > died recently (this resulted in a number of other problems as well). > While we will bring back that data, I would encourage you to submit > bugs at https://github.com/racket/racket/issues/new. > > Sam > > On Wed, May 8, 2019 at 2:51 PM Jordan Johnson <[email protected]> wrote: >> >> Hi all, >> >> I’m unsuccessful in connecting to bugs.racket-lang.org, and >> downforeveryoneorjustme.com also reports it being down. Is the web server >> there not running for some reason? >> >> Best, >> Jordan >> >> -- >> 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 [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/ED6E726A-3884-4E9E-8902-525B0EE8335E%40fellowhuman.com. >> For more options, visit https://groups.google.com/d/optout. > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BaGBHd8T86T0VDSoO%3DceHj3SWqpaktdauafm9%3D-WyGFPQ%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/f0765b8c-7b04-408d-a9c8-e58103d692d5%40mtasv.net. For more options, visit https://groups.google.com/d/optout.
