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
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