FYI: panama/dev fails to verify

[Maurizio Cimadamore]

Still no news here - so I'd please suggest everyone to refrain from 
pushing - regardless of the branch you are working on.

Thanks
Maurizio

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