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

[Ben Franksen]

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>
__________________________________