On Thu, 2019-06-27 at 11:10 +0200, Aleksey Shipilev wrote: > On 6/27/19 11:06 AM, Severin Gehwolf wrote: > > Bug: https://bugs.openjdk.java.net/browse/JDK-8226870 > > webrev: http://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8226870/01/webrev/ > > Looks good to me. Thanks for the review, Aleksey! Cheers, Severin