31 Jul
2010
31 Jul
'10
5:27 p.m.
Hi Nicolas, This has been fixed a while ago in git. It had been caused by a bad merge. Checkout the repository to get the fixed version. (I'll probably do a new release soon, although there isn't much new stuff to release.) Best, Marijn