On Thu, 2019-10-10 at 13:47 +0000, Langer, Christoph wrote:
> Adjusted webrev: 
> http://cr.openjdk.java.net/~clanger/webrevs/8212028.11u-dev.1/

Seems OK to me.

Thanks,
Severin

Reply via email to