<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<font size="-1">John,<br>
<br>
<font size="-1">I've just patched the 2.8.8<font size="-1">
release with your fix.<br>
<font size="-1">Everything is fine now.<br>
<br>
<font size="-1">Thanks a lot.<br>
<br>
<font size="-1">Regards,<br>
<br>
<font size="-1">Yves</font><br>
</font></font></font></font></font></font>
</body>
</html>