author | jwilhelm |
Tue, 10 Oct 2017 03:54:49 +0200 | |
changeset 47611 | 7eda0a64c199 |
parent 47610 | 601807573d40 |
child 47612 | b512c5781ca1 |
--- a/make/conf/jib-profiles.js Mon Oct 09 13:11:25 2017 -0700 +++ b/make/conf/jib-profiles.js Tue Oct 10 03:54:49 2017 +0200 @@ -1063,7 +1063,7 @@ jtreg: { server: "javare", revision: "4.2", - build_number: "b08", + build_number: "b09", checksum_file: "MD5_VALUES", file: "jtreg_bin-4.2.zip", environment_name: "JT_HOME",