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

Reply via email to