author | jwilhelm |
Tue, 07 Nov 2017 23:18:16 +0100 | |
changeset 47723 | e6278add9ff2 |
parent 47722 | ce6ff74192fc |
child 47724 | 6b374b7fdc3d |
child 47731 | 5ff062878fe8 |
--- a/make/conf/jib-profiles.js Wed Nov 08 13:38:00 2017 -0800 +++ b/make/conf/jib-profiles.js Tue Nov 07 23:18:16 2017 +0100 @@ -824,7 +824,7 @@ jtreg: { server: "javare", revision: "4.2", - build_number: "b09", + build_number: "b10", checksum_file: "MD5_VALUES", file: "jtreg_bin-4.2.zip", environment_name: "JT_HOME",