> On Nov 23, 2018, at 1:41 PM, Aleksey Shipilev <shade at redhat.com> wrote: > > On 11/23/18 6:49 PM, Simon Tooke wrote: >> Revised fix: >> http://cr.openjdk.java.net/~sgehwolf/webrevs/stooke/JDK-8214059/02/webrev/ > > This looks good to me. > > -Aleksey This looks good to me as well.