(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 <sa...@cs.indiana.edu> 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 <j...@fellowhuman.com> 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 racket-users+unsubscr...@googlegroups.com. >> 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 racket-users+unsubscr...@googlegroups.com. > 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 racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. 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.
