I'm speaking to Iris and try to sort this out Thanks Maurizio On 25/07/2019 08:17, Aleksey Shipilev wrote: > Hi, > > The recent trouble in jdk/jdk seem to have leaked to panama/dev: > https://mail.openjdk.java.net/pipermail/jdk-dev/2019-July/003201.html > > Maybe you want to ask ops@ to fix it for you. >