On 1/14/20 11:26 PM, Andrew John Hughes wrote: > Webrev: https://cr.openjdk.java.net/~andrew/openjdk11/11.0.6/ Looks good. > Ok to push? Yes. -- Thanks, -Aleksey