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

[Daniel D. Daugherty]

Vladimir,

Thanks for the fast review!

Folks, I believe we are now covered for reviews.

Dan


On 7/14/15 10:24 AM, Vladimir Kozlov wrote:
> 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
>>>
>>