On 8/14/20 2:17 AM, Daniel Fuchs wrote:

new webrev:
http://cr.openjdk.java.net/~dfuchs/webrev_8251160/webrev.01/index.html


+1

CSR updated as well:
https://bugs.openjdk.java.net/browse/JDK-8251534


Reviewed.

Mandy

Reply via email to