Ben Franksen <ben.franksen at online.de> added the comment: I have obliterated patch 15f268155f2f6f743ef48785fa4e90344b8440ac in screened. __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch2170> __________________________________