<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Apr 21, 2014 at 12:04 PM, R. David Murray <span dir="ltr"><<a href="mailto:rdmurray@bitdance.com" target="_blank">rdmurray@bitdance.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":1k2" class="a3s" style="overflow:hidden">    interpreter crash<br></div></blockquote></div><br>I think this would attract a higher proportion of 'correct' classifications if this was named "internal error". I'm not sure if it's worth keeping this separate, though, despite the apparent inherent higher priority.<br clear="all">
<div><br></div>-- <br>Thomas Wouters <<a href="mailto:thomas@python.org" target="_blank">thomas@python.org</a>><br><br>Hi! I'm an email virus! Think twice before sending your email to help me spread!
</div></div>