hg: jdk9/hs-rt: 8145828: JPRT hotspot push jobs should allow merge on push

mikael.vidstedt at oracle.com mikael.vidstedt at oracle.com
Wed Dec 23 06:44:56 UTC 2015


Changeset: 4be1cd68310d
Author:    mikael
Date:      2015-12-22 20:47 -0800
URL:       http://hg.openjdk.java.net/jdk9/hs-rt/rev/4be1cd68310d

8145828: JPRT hotspot push jobs should allow merge on push
Reviewed-by: dholmes, iklam

! make/jprt.properties



More information about the jdk9-all-changes mailing list