On Wed, 2020-08-26 at 11:29 +0200, Christoph Göttschkes wrote:
> > Webrev: https://cr.openjdk.java.net/~cgo/8234535/webrev-11u.00/

This looks fine to me.

Thanks,
Severin

Reply via email to