<div class="gmail_quote">On Sun, Mar 14, 2010 at 15:57, bearophile <span dir="ltr">&lt;<a href="mailto:bearophileHUGS@lycos.com">bearophileHUGS@lycos.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
It&#39;s a bug, caused by the change from built-in to partially built-in. I think you can add it to Bugzilla.<br></blockquote><div><br>Done:<br><br><a href="http://d.puremagic.com/issues/show_bug.cgi?id=3962">http://d.puremagic.com/issues/show_bug.cgi?id=3962</a><br>
<br>Hmm, almost bug #4000.<br> <br></div></div>