Re: [VOTE] Require Java 17 for Maven 4

[Martin Desruisseaux]

Le 2024-03-02 à 18 h 55, Jeremy Landis a écrit :

You should be able to use @code in same way now without the java upgrade.

Yes I know. But Maven source code currently uses <pre>, and if we were 
to spent an effort for changing that, it would have been more economical 
to go directly to {@snippet} instead of changing to {@code} and changing 
again later.

But anyway, thanks.

    Martin