Ganesh Sittampalam <ganesh at earth.li> added the comment: As Petr has reviewed this and it does pass the testsuite, I have pushed it to branch-2.5 and HEAD. __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch353> __________________________________