On Wed, Oct 31, 2012 at 8:46 AM, Eli Zaretskii <span dir="ltr">&lt;<a href="mailto:eliz@gnu.org" target="_blank" class="cremed">eliz@gnu.org</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I guess we need to wait for another crash, this time in the trunk code, and take it from there.<br></blockquote><div><br></div><div>I haven&#39;t seen the crash recur in the trunk build so I think we can probably call this bug fixed in trunk.  I&#39;ll definitely follow up if this re-triggers. </div>
</div></div>