Andrey Korobkov <alster at vinterdalen.se> added the comment: Thank you for the explanation! :) __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch2046> __________________________________