Hi, Here is the new webrev that goes on top of the changes from 8229822 (which are already pushed).
http://cr.openjdk.java.net/~dfuchs/webrev_8245462/webrev.02/ I have also written the CSR: https://bugs.openjdk.java.net/browse/JDK-8251312 feedback - and reviewers - welcome :-) best regards, -- daniel On 31/07/2020 10:46, Daniel Fuchs wrote:
I wonder if I should try to extract those two fixes though - as it might be worthwile to backport them independently: http://cr.openjdk.java.net/~dfuchs/webrev_8245462/webrev.01/index.html best regards, -- daniel