From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 11 Jul 2012 16:35:15 GMT
Subject: Re: [PATCH v3 3/3] Replace strlen() with ce_namelen()
Message-ID: <7vk3yafe7w.fsf@alter.siamese.dyndns.org>
In-Reply-To: <1341998558-8502-4-git-send-email-t.gummerer@gmail.com>

Thanks for resending; I've merged this independently to 'next' and
will merge it to 'master' soonish.  This one is trivially correct.