[darcs-devel] [issue2526] whatsnew -l --boring does not work

Ben Franksen bugs at darcs.net
Fri Jul 31 21:55:17 UTC 2020


Ben Franksen <ben.franksen at online.de> added the comment:

patch f10c0cdcf6beb1c29607e16de0ca9fd7169c833c
Author: Ben Franksen <benjamin.franksen at helmholtz-berlin.de>
Date:   Wed Mar 15 17:08:45 CET 2017
  * resolve issue2526: actually consider boring option in 
D.UI.Flags.diffingOpts

----------
status: has-patch -> resolved

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


More information about the darcs-devel mailing list