Hi, On Mon, 2018-12-10 at 12:31 +0100, Aleksey Shipilev wrote: > Welcome to the "Gold Rush for JDK 12" week! Take a shovel! ... :) > > Bug: > https://bugs.openjdk.java.net/browse/JDK-8215120 > > Fix: > looks good. Thanks for picking this up. Thomas