[darcs-devel] [issue2424] First push fails, second succeeds

Ben Franksen bugs at darcs.net
Wed Jan 28 20:59:13 UTC 2015


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

Can you try the HEAD (current screened)? If that works, we should close
it as "fixed in 2.8.5"... only that this option does not yet exist in
the tracker, hmmm.

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


More information about the darcs-devel mailing list