<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:arial,helvetica,sans-serif;font-size:12pt"><div>We have patch in Mantis#1888 from a new submitter, "Tyre". It applies and looks benign, but I would appreciate at least one confirming opinion before committing it.<br><br>Charles<br></div></div></body></html>