[darcs-devel] [issue2610] add --inherit-default option for clone, push, pull, send etc
noreply
bugs at darcs.net
Tue Aug 6 09:42:54 UTC 2019
noreply <noreply at darcs.net> added the comment:
The following patch sent by Ben Franksen <ben.franksen at online.de> updated issue issue2610 with
status=resolved;resolvedin=2.15.0 HEAD
* resolve issue2610: add --inherit-default option
Ignore-this: c5dbfeb384a794d113fa1394e0b71e0c22a1d5460b9cd96ab125b6de350dfe2a36f7885478bf3a33
----------
resolvedin: -> 2.15.0 HEAD
status: unknown -> resolved
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2610>
__________________________________
More information about the darcs-devel
mailing list