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

[Daniel D. Daugherty]

On 7/14/15 10:19 AM, Tim Bell wrote:
> Hi Dan:
>
>> I have a fix for the following bug:
>>
>>     JDK-8131128 Merge error in jprt.properties leads to missing 
>> devkit argument
>>     https://bugs.openjdk.java.net/browse/JDK-8131128
>>
>> 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.
>
> Looks good to me.  That is a very tricky file to change.

Tim,

Thanks for the fast review!

Folks, I need (R)eviewer to take a look here.

Dan


>
> Tim
>