Robby just implemented that last week, actually. Sam
On Wed, May 8, 2019 at 3:08 PM Jordan Johnson <j...@fellowhuman.com> wrote: > > On 8 May 2019, at 11: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. > > > 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 racket-users+unsubscr...@googlegroups.com. > 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. -- 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%2BZn%3DTNWtfnUsmOUiS1p9B-u43rrgz4fdWnxfy%2BJCvrrEQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
