Re: [OPTIONS] Java 11 and Java JDK origin

[Nicolas Malin]

On 13/04/2019 11:47, Jacques Le Roux wrote:

I just tested, without surprise the trunk HEAD works with Java 11

I did the same with 18.12, works fine

Nicolas