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
