Absolutely; I was hoping to extract information associated with very *old* bugs.
John > On Jul 9, 2019, at 10:08, Paulo Matos <[email protected]> wrote: > > 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. -- 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/8968a456-6d0c-4654-9153-e6bd17b61c17%40mtasv.net. For more options, visit https://groups.google.com/d/optout.
