Relatedly: you might want to update the message here: https://github.com/racket/string-constants/blob/master/string-constants-lib/string-constants/private/english-string-constants.rkt#L180
> If your internet connection is otherwise working fine, please visit:\n\n http://bugs.racket-lang.org/... On Tue, Jul 9, 2019 at 7:57 AM 'John Clements' via Racket Developers < racket-dev@googlegroups.com> wrote: > Absolutely; I was hoping to extract information associated with very *old* > bugs. > > John > > > On Jul 9, 2019, at 10:08, Paulo Matos <pmatos@linki.tools> 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 <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/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 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/8968a456-6d0c-4654-9153-e6bd17b61c17%40mtasv.net > . > 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 view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CADcuegtoGsE3wkdM328uDg-KkFsg75LFg2rq69fOkj1_4DeNjg%40mail.gmail.com.
