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/

--
Thanks,
Nick

Reply via email to