[darcs-devel] [patch1141] Accept issue2380: darcs wont rename a file to the name...

[Guillaume Hoffmann]

Guillaume Hoffmann <guillaumh at gmail.com> added the comment:

Hi Owen!

When running these steps manually, I can't do the step "darcs mv other
foo", all I get is:

"darcs failed:  cannot move File foo into other : did you already move
it elsewhere?"

Is that what you want your script to do?

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