FYI: panama/dev fails to verify

[Maurizio Cimadamore]

Actually, my repo verifies just fine. Investigating more.

Maurizio

On 25/07/2019 11:36, Maurizio Cimadamore wrote:
> 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.
>>