[darcs-users] bug in get_extra

Peter "Firefly" Lund firefly at diku.dk
Sat Jul 17 11:04:05 UTC 2004


On Sat, 17 Jul 2004, David Roundy wrote:

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

Precisely what I was thinking of (but didn't write :/ ).

-Peter




More information about the darcs-users mailing list