[darcs-devel] [patch1536] resolve issue2526: actually consider boring option in ...

[Ben Franksen]

New submission from Ben Franksen <ben.franksen at online.de>:

With this patch all tests pass (again).

1 patch for repository http://darcs.net/screened:

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

----------
files: patch-preview.txt, resolve-issue2526_-actually-consider-boring-option-in-d_ui_flags_diffingopts.dpatch, unnamed
messages: 19364
nosy: bf
status: needs-screening
title: resolve issue2526: actually consider boring option in ...

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1536>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 467 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20170315/4762ac8d/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: resolve-issue2526_-actually-consider-boring-option-in-d_ui_flags_diffingopts.dpatch
Type: application/x-darcs-patch
Size: 670 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20170315/4762ac8d/attachment-0001.bin>
-------------- next part --------------
.