[patch] git diff: update USE_JAVA
jenkins.jdk17.diff (text/plain), 1.12 KB, created by Ronald Klop on 2024-05-16 10:09:33 UTC
(hide)
 
Creator: Ronald Klop
Created: 2024-05-16 10:09:33 UTC
Size: 1.12 KB

Flags:

ronald: maintainer-approval?
Actions: View | Diff
Attachments on bug 279027: 250693 | 250694