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
