Re: [PATCH v9 3/4] vimdiff: add tool documentation

>> > 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?