Was: It seems to have been fixed... On Wed, Nov 12, 2008 at 6:17 PM, Gerard N/A <gerardusmercator at gmail.com> wrote: > Hi, > > It to be have been fixed in rev. 17356 > > Regards, > > Gerard. >