>>>>> Jean-Baptiste Onofré <j...@nanthrax.net>:
> If it's OK for you, I will update Jenkinsfile to use Java 17 by
> default on main (instead of Java 11 today), and update the resources
> to target Java 17.

+1 from me.

Reply via email to