28 Jul
2007
28 Jul
'07
6:28 p.m.
Hi,
Good catch. I applied a fix, more or less your patch but without the (unneccesary) gensym.
Cheers, Marijn