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