On 7/16/19 10:27 PM, Andrew John Hughes wrote: > Here are the remaining changes for the jdk11u repository: > > Webrev: https://cr.openjdk.java.net/~andrew/openjdk11/11.0.4/ Looks fine to me. > Ok to push? I think so. -- Thanks, -Aleksey