What was the issue? Robby
On Sun, Sep 15, 2013 at 9:19 AM, Laurent <laurent.ors...@gmail.com> wrote: > > > On Sat, Sep 14, 2013 at 12:40 AM, Eli Barzilay <e...@barzilay.org> wrote: > >> Just now, Greg Hendershott wrote: >> > On Thu, Sep 12, 2013 at 4:41 PM, Laurent <laurent.ors...@gmail.com> >> wrote: >> > > FYI, I have filed a bug report more than 3 hours ago but did not >> receive any >> > > confirmation. >> > >> > Is it possible the bug tracker is broken? >> >> There was a permission problem with it, which is fixed now. >> > > I just sent another (different) report, and did received the notification > this time. Thanks. > > >> Unfortunately, it looks like the contents of those messages are lost. >> > > Ok, meanwhile I found a workaround, so it's not that important now. > I'm not sure what's the correct thing to do here: Should I submit another > bug report for something that had annoyed me but doesn't anymore? > > Laurent > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev > >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev