Guillaume Hoffmann <guillaumh at gmail.com> added the comment: Pushing it into the 2.10 branch since it's one of the "known bugs". Thanks alain91! ---------- milestone: -> 2.10.1 STABLE __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/patch1336> __________________________________