[darcs-devel] [patch1321] 1 patch for repository http://darcs.net/screened

Ben Franksen bugs at darcs.net
Thu Jun 11 16:50:28 UTC 2015


Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment:

FWIW, I liked the previous behaviour (a separating line) better than the
current one and I also find the OP's use case convincing.

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


More information about the darcs-devel mailing list