[darcs-devel] [issue2605] darcs crashes with duplicate patches

[Ben Franksen]

Ben Franksen <ben.franksen at online.de> added the comment:

This bug cannot be fixed for the existing patch formats. The new patch
format (darcs-3) solves it by tagging all prim patches with a unique ID
(when they are recorded) so we can distinguish between equality (which
may be accidental, i.e. duplicates) and identity.

----------
status: unknown -> wont-fix

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