In reply to Sams encouragement: "I would encourage you to submit bugs at https://github.com/racket/racket/issues/new";
Shouldn't all bugs be submitted to https://github.com/racket/racket/issues/new anyhow? On 09/07/2019 10:06, 'John Clements' via Racket Developers wrote: > (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/3d655839-3397-9918-6306-f06d53926b7c%40linki.tools. For more options, visit https://groups.google.com/d/optout.
