Hi Jon, On Fri, 2019-12-13 at 08:47 -0800, Jonathan Gibbons wrote: > I've been trying to contact AdoptOpenJDK folk about this and other > related issues. I've not heard back yet.
It's tracked at AdoptOpenJDK via: https://github.com/AdoptOpenJDK/openjdk-build/issues/1445 Thanks, Severin
