The very simple webrev for https://bugs.openjdk.java.net/browse/JDK-8199675 is
here:
http://cr.openjdk.java.net/~jvos/8199675/webrev.00/

I'll commit once approved (adding the contributed-by smanux (Emmanuel
Bourg) )

Reply via email to