Op 19 nov. 2016 6:25 p.m. schreef "Richard Hipp":
> On 11/19/16, Andy Goth wrote:
> > Going forward, which definition do we want?
>
> I think the definition used by /brlist.
>
> Reasoning:
> (1) I don't think the difference is all that important. If you have
> multiple branches with the same name, then you probably deserve
> whatever it is that happens.
> (2) The /brlist definition is easier to compute
I concur. A closed branch should be a branch in which all leaves are
closed. That's what I would expect.
Regards,
Jan Nijtmans
_______________________________________________
fossil-dev mailing list
[email protected]
http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/fossil-dev
