Re: [PATCH v1 0/3] userdiff: Java updates

From: Tassilo Horn <tsdh@gnu.org>
Date: Feb 4, 2023, 09:22 UTC
Message-ID: <877cwxvl3a.fsf@gnu.org>
In-Reply-To: <20230203232339.216592-1-rybak.a.v@gmail.com>

Andrei Rybak <rybak.a.v@gmail.com> writes:

Hi Andrei,

Show 5 quoted lines

> Three patches to improve builtin userdiff support for Java features.
> Some pretty old features -- type parameters aka generics are actually
> older than Git, and some quite recent features of Java: records and
> sealed classes, released in Java 16 and Java 17 correspondingly, both
> from 2021.

Thanks for including me being the last contributor to java userdiff. The patches look good from my POV and are safe-guarded with tests, so I'm all for it.

Bye, Tassilo