[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