[darcs-users] bug in get_extra
droundy at abridgegame.org
Sat Jul 17 11:01:04 UTC 2004
On Fri, Jul 16, 2004 at 02:20:38PM +0200, Peter Firefly Lund wrote:
> On Fri, 16 Jul 2004, David Roundy wrote:
> > each show up multiple times, and darcs works under the assumption that a
> > patch name is unique. Perhaps I should add code to check, but I don't like
> You only need to add that code to check and repair (and perhaps optimize).
I've added it to check already. I can't really repair this kind of damage,
but I suppose perhaps repair should exit with a failure in this case...
More information about the darcs-users