On 11/03/2018 10:06 AM, Magnus Ihse Bursie wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8213339 > WebRev: > http://cr.openjdk.java.net/~ihse/JDK-8213339-update-precompiled-headers/webrev.01
This looks good to me. Thanks, -Aleksey
On 11/03/2018 10:06 AM, Magnus Ihse Bursie wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8213339 > WebRev: > http://cr.openjdk.java.net/~ihse/JDK-8213339-update-precompiled-headers/webrev.01
This looks good to me. Thanks, -Aleksey