[darcs-devel] [issue2500] darcs amend on darcs-prefs leaves a local change to the darcs-prefs

[Ben Franksen]

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

I can no longer reproduce this. Presumably resolved by one of my 
(many) fixes wrt pending.

----------
priority:  -> bug
status: unknown -> resolved

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