[darcs-users] darcs patch: Accept issue1396: darcs does not detect changepref con...

Trent W. Buck trentbuck at gmail.com
Mon Mar 16 06:56:17 UTC 2009

Petr Rockai <me at mornfall.net> writes:

> Eric Kow <kowey at darcs.net> writes:
>> Is this a bug?  Is there a better way to do it?
> darcs help setpref:
> [snip]
> Note that merging is not currently implemented for preferences: if two
> patches attempt to set the same preference, the last patch applied to
> the repository will always take precedence.  This is considered a
> low-priority bug, because preferences are seldom set.
> (I'd read that as yes, it's a known bug.)

Yay for documentation!

More information about the darcs-users mailing list