> > typo here: implementation (by bad!)
> >
> > Maybe Junio will correct it before merging to next ?
>
> Thanks.
>
> $ git range-diff @{1}...
> 1: 7efd9fdf62 ! 1: 7b5cf8be18 vimdiff: add tool documentation
> @@ Commit message
> take configuration options not explained anywhere else (as it is the
> case with the 'vimdiff' tool and the new 'layout' option)
>
> - Note that the function 'show_tool_names', used in the implmentation of
> + Note that the function 'show_tool_names', used in the implementation of
> 'git mergetool --tool-help', is also used in Documentation/Makefile to
> generate the list of allowed values for the configuration variables
> '{diff,merge}.{gui,}tool'. Adjust the rule so its output is an Asciidoc
> 2: 3e7aa9c425 = 2: 980145f747 mergetools: add description to all diff/merge tools
Thanks! No need to roll out a v10, then?
