[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