On 06/06/2011 07:10 PM, Miles Gould wrote:
[...]Things get more complicated if labels can be removed and added later again, then we may want to depend on the - uhm - earliest match?Most recent, I'd have thought.
That's what I was trying to write. Unfortunatly, I wasn't successful. ;) _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
