
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">

<HTML>

<HEAD>

  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">

  <META NAME="GENERATOR" CONTENT="GtkHTML/4.8.5">

</HEAD>

<BODY>

Hi Nicolas,<BR>

<BR>

I have added your patch. <BR>

With the next upload it can be tested.<BR>

<BR>

Hope this fixes the problem once and for all.<BR>

<BR>

/Willem

</BODY>

</HTML>