RFR(XXS) 8131128: fix merge error in jprt.properties
tim.bell at oracle.com
Tue Jul 14 16:19:50 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:
> 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.
Looks good to me. That is a very tricky file to change.
More information about the build-dev