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