(off-list ancestor, not in this archive)
Re: [PATCH 0/4] Fix "git difftool --tool-help" · Junio C Hamano <hidden> · 2016-06-15

Re: [PATCH 0/4] Fix "git difftool --tool-help"

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:55:53

Nice code reduction ;-)

Thanks, will queue.