Philip Oakley [off-list ref] writes:
No change in the number of patches. Interdiff below.
The patches carefully tease out the clarification of
reachability. Reachability is defined relative the ancestry chain thus
(hopefully) avoiding misunderstandings.
The final patch updates the summary examples, and the tricky (for the
untutored reader) two dots case of a linear development where r1..r2
excludes r1 itself.
All looked sensible and each focused on a single issue and fixing it
well. Done very nicely.
Thanks. Will (re)queue, wait for a few days for further comments
and let's merge it to 'next'.