<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 3, 2016 at 10:17 PM, Bruno Cardoso Lopes <span dir="ltr"><<a href="mailto:bruno.cardoso@gmail.com" target="_blank">bruno.cardoso@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Daniel,<br>
<span class=""><br>
On Wed, Aug 3, 2016 at 9:59 PM, Daniel Berlin <<a href="mailto:dberlin@dberlin.org">dberlin@dberlin.org</a>> wrote:<br>
> so here's the super-curious question in my mind:<br>
><br>
> Why didn't this break when this was enabled by default for like a month<br>
> before :)<br>
<br>
</span>Not really sure why, I was not following the bots back then.</blockquote><div><br></div><div>Yeah, it's semi-rhetorical. It's just really odd, and makes me think it's related to one or more of the optimizations sebastian added (for example, not recomputing DFS numbers).</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Where<br>
there many changes following up the time it got off? Another<br>
possibility is that the bot could have been broken by another change<br>
that hid this?<br>
I can get my hands on the reproducer and send to you tomorrow if that's helpful.<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>That would be really helpful.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888">
-Bruno<br>
<br>
--<br>
Bruno Cardoso Lopes<br>
<a href="http://www.brunocardoso.cc" rel="noreferrer" target="_blank">http://www.brunocardoso.cc</a><br>
</font></span></blockquote></div><br></div></div>