hg: jdk/sandbox: 3 new changesets
chris.hegarty at oracle.com
chris.hegarty at oracle.com
Tue Apr 28 13:45:27 UTC 2020
Changeset: b41d159d19b2
Author: ihse
Date: 2020-04-28 15:33 +0200
URL: https://hg.openjdk.java.net/jdk/sandbox/rev/b41d159d19b2
8243982: Fix testing documentation after JDK-8240241
Reviewed-by: erikj
! doc/testing.html
! doc/testing.md
Changeset: 47745e092a7e
Author: ihse
Date: 2020-04-28 15:35 +0200
URL: https://hg.openjdk.java.net/jdk/sandbox/rev/47745e092a7e
8243973: Clarify difference between JAVA_OPTIONS and VM_OPTIONS
Reviewed-by: erikj
! doc/testing.html
! doc/testing.md
Changeset: 77a698d01b2f
Author: ihse
Date: 2020-04-28 15:36 +0200
URL: https://hg.openjdk.java.net/jdk/sandbox/rev/77a698d01b2f
8243985: Make source generation by generatecharacter reproducible
Reviewed-by: naoto
! make/jdk/src/classes/build/tools/generatecharacter/GenerateCharacter.java
More information about the jdk-sandbox-changes
mailing list