[darcs-devel] [patch604] Resolve issue2054: option --boring does ... (and 2 more)

[Ganesh Sittampalam]

Ganesh Sittampalam <ganesh at earth.li> added the comment:

I've pushed this to reviewed, along with a couple of followups to address 
some of Petr's review comments.

Thanks for the fix, Scott!

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch604>
__________________________________