On 8 May 2019, at 11: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.
Since you say “bring back that data”, I wonder: should the “Submit Bug Report” menu item in DrRacket now launch that URL you’ve given rather than bring up the little DrRacket bug report window? 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/6FB4B2C1-41A0-4EAB-ABAE-E67B606BA0D4%40fellowhuman.com. For more options, visit https://groups.google.com/d/optout.
