
<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div>This bug should be closed, the original reporter cannot reproduce it anymore with a newer version.<br></div><div>Thanks.<br></div><div><br></div><div>-- <br></div><div><span name="x"></span>Ivan Baldo - ibaldo@adinet.com.uy - http://ibaldo.codigolibre.net/<br>Freelance C++/PHP programmer and GNU/Linux systems administrator.<br>The sky is not the limit!<span name="x"></span><br></div></div></body></html>