[darcs-users] bug in get_extra

Peter "Firefly" Lund firefly at diku.dk
Fri Jul 16 12:20:38 UTC 2004


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).

-Peter




More information about the darcs-users mailing list