[darcs-devel] [issue2116] darcs dist --index fails

[noreply]

noreply <noreply at darcs.net> added the comment:

The following patch sent by andreas.brandt.de at googlemail.com updated issue issue2116 with
status=has-patch

* Resolve issue2116: darcs dist --index no longer fails 
Ignore-this: dbab4ca6457f922dd813e45ab803d75c

----------
status: unknown -> has-patch

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