From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 24 Jan 2013 21:07:57 GMT
Subject: Re: [PATCH 0/4] Fix "git difftool --tool-help"
Message-ID: <7vehha9tn6.fsf@alter.siamese.dyndns.org>
In-Reply-To: <cover.1359057056.git.john@keeping.me.uk>

Nice code reduction ;-)

Thanks, will queue.