<div dir="ltr"><div class="gmail_extra"><br><br><div class="gmail_quote">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 class="im">Just now, Greg Hendershott wrote:<br>
> On Thu, Sep 12, 2013 at 4:41 PM, Laurent <<a href="mailto:laurent.orseau@gmail.com">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>I just sent another (different) report, and did received the notification this time. Thanks.<br></div><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>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?<br>

<br></div><div class="gmail_extra">Laurent<br></div></div>