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