On Wed, 2020-03-11 at 12:47 +0000, Langer, Christoph wrote:
> OK, I guess you're right. Here is the new webrev: 
> http://cr.openjdk.java.net/~clanger/webrevs/8189861.11u.1/

Looks good.

Thanks,
Severin

Reply via email to