22 May
2007
22 May
'07
2:27 p.m.
Hello Simon,
Good catch. I pushed a patch to the darcs repository which fixes this.
Cheers, Marijn