
<!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.6.6">

</HEAD>

<BODY>

Hi,<BR>

<BR>

This bug (among others changes) is fixed.<BR>

The code is in the git repository and can be reviewed and uploaded<BR>

from there.<BR>

<BR>

/Willem

</BODY>

</HTML>