[darcs-devel] [patch2161] resolve issue2674 (and a few more)

[Ben Franksen]

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

> That's a good point. You could maybe add a comment to that effect to
> stop someone removing the script in future on the grounds that it's useless.

Good idea, done.

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