tree bbb140a9a41bf865cfb2277602f6b76f3929f9f1
parent 9cf351771d43ab9c03c38a096345876e5894f8b7
author Andrea Cosentino <ancosen@gmail.com> 1631693685 +0200
committer Andrea Cosentino <ancosen@gmail.com> 1631693685 +0200

Point JDK 17 instead of JDK 16 in Jenkins job