Ben Franksen <ben.franksen at online.de> added the comment: Ganesh, could you take a final look over patch e788b3d62b7983e569f6a1fc197d658cb4d4b74f before I self-accept it? __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch2089> __________________________________