(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...@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...@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.