<div dir="ltr">What was the issue?<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Sep 15, 2013 at 9:19 AM, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">On Sat, Sep 14, 2013 at 12:40 AM, Eli Barzilay <span dir="ltr"><<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Just now, Greg Hendershott wrote:<br>
> On Thu, Sep 12, 2013 at 4:41 PM, Laurent <<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>> wrote:<br>
> > FYI, I have filed a bug report more than 3 hours ago but did not receive any<br>
> > confirmation.<br>
><br>
> Is it possible the bug tracker is broken?<br>
<br>
</div>There was a permission problem with it, which is fixed now.<br></blockquote><div><br></div></div><div>I just sent another (different) report, and did received the notification this time. Thanks.<br></div><div class="im">
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


Unfortunately, it looks like the contents of those messages are lost.<br></blockquote><br></div></div>Ok, meanwhile I found a workaround, so it's not that important now.<br>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?<span class="HOEnZb"><font color="#888888"><br>


<br></font></span></div><span class="HOEnZb"><font color="#888888"><div class="gmail_extra">Laurent<br></div></font></span></div>
<br>_________________________<br>
  Racket Developers list:<br>
  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br></blockquote></div><br></div>