Petr Rockai <[email protected]> writes:

> Eric Kow <[email protected]> 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!

_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to