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

[Vladimir Kozlov]

Good.

Thanks,
Vladimir

On 7/14/15 9:22 AM, Daniel D. Daugherty wrote:
> 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
>>
>