On Oct 6, 2010, at 12:38 PM, Stéphane Ducasse wrote:

Cool

Marcus will integrate your changes. I'm off for a full day meeting wuithout good internet connection until thursday evening :(

Done. update #12173-12185 Marcus -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.