RFR(XXS) 8131128: fix merge error in jprt.properties

Daniel D. Daugherty daniel.daugherty at oracle.com
Tue Jul 14 15:20:30 UTC 2015


I have a fix for the following bug:

     JDK-8131128 Merge error in jprt.properties leads to missing devkit 

I made a merge error on 2015.07.03 during my gatekeeping work for a
Main_Baseline -> RT_Baseline sync-down. Thanks for Mikael for finding
this issue.

Webrev URL: http://cr.openjdk.java.net/~dcubed/8131128-webrev/0-jdk9-hs-rt/

If you're interested in the whitespace changes that I made along
with adding the line break, you'll need to use the 'cdiffs' link.

Thanks, in advance, for any comments, questions or suggestions.


More information about the hotspot-runtime-dev mailing list