Re: [PATCH] update-index doc: v4 is OK with JGit and libgit2

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 18, 2023, 19:09 UTC
Message-ID: <xmqqa5uouq07.fsf@gitster.g>
In-Reply-To: <ZN+/vJysYcri/iBz@ugly>

Oswald Buddenhagen <oswald.buddenhagen@gmx.de> writes:

Show 16 quoted lines

> On Fri, Aug 18, 2023 at 11:16:44AM -0700, Junio C Hamano wrote:
>>+time. The first version to support it was Git 1.8.0 released in
>>+October 2012,
>
> "Git supports it since version 1.8.0[, which was] released in October
> 2012, and ..." would be probably easier to read.
>
>>and support for it was added to libgit2 in 2016 and
>
> +to
>
>>+JGit in 2020,
>
>>respectively.
>>
> this use of "respectively" is bogus; just leave it off.

All good corrections.  Thanks.