<br><br>On Tuesday, September 18, 2012, Matthew Flatt  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I wasn&#39;t able to replicate the crash. Does it happen consistently for<br>

you in v5.3? In v5.3.0.24?<br></blockquote><div><br></div><div> </div><div>It&#39;s consistent for me in 5.3.  I can come in the morning with the laptop to show you.<span></span></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex" dir="ltr">
<font class="Apple-style-span" color="#666666" face="Arial, Helvetica, sans-serif"><span class="Apple-style-span" style="font-size:19px;line-height:28px"></span></font>
</blockquote>