Re: [PATCH v3 3/3] Replace strlen() with ce_namelen()
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 11, 2012, 16:35 UTC
- 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.