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

<HTML><HEAD>

<META content="text/html; charset=iso-8859-1" http-equiv=Content-Type>

<META content="MSHTML 5.00.3211.1700" name=GENERATOR>

<STYLE></STYLE>

</HEAD>

<BODY bgColor=#ffffff>

<DIV><FONT face=Arial size=2>Hi list!</FONT></DIV>

<DIV> </DIV>

<DIV><FONT face=Arial size=2>Marc wrote:</FONT></DIV>

<DIV><FONT face=Arial size=2>> I don't understand.  I cut&paste your 

example in the current</FONT></DIV>

<DIV><FONT face=Arial size=2>> cvs version and I get correct 

results.</FONT></DIV>

<DIV><FONT face=Arial size=2></FONT> </DIV>

<DIV><FONT face=Arial size=2>Benjamin fixed this bug a fews days 

ago.</FONT></DIV>

<DIV><FONT face=Arial size=2></FONT> </DIV>

<DIV><FONT face=Arial size=2>Loīc</FONT></DIV></BODY></HTML>