Thank you for the quick review, Severin. -- Christoph
On 2020-08-26 12:10, Severin Gehwolf wrote:
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