On 14/08/2020 11:44, Nick Gasson wrote:
Hi Daniel,

On 08/14/20 17:27 pm, Daniel Fuchs wrote:

Looks good to me. But while you're at it, could you make
the `ok` and `requests` fields volatile?


Sure, this one ok to push?

https://cr.openjdk.java.net/~ngasson/8251517/webrev.1/

Looks fine!

best regards,

-- daniel


--
Thanks,
Nick


Reply via email to