+1 On 12/6/2019 1:05 PM, Johan Vos wrote: > Hi Kevin, > > I request permission to backport the fix for > https://bugs.openjdk.java.net/browse/JDK-8193445 to the 11-dev repository ( > hg.openjdk.java.net/openjfx/11-dev/rt) > > The patch applies clean to the 11-dev repository. > > - Johan