On 2/3/20 9:00 AM, Roland Westrelin wrote: > > After some offline discussion with Aleksey, here is an updated webrev: > > http://cr.openjdk.java.net/~roland/8237776/webrev.01/ Looks good! -- Thanks, -Aleksey