On 10/10/18 11:39, Daniel Fuchs wrote:
Hi,Please find below a doc-only fix for: 8211960: broken links in java.util.logging https://bugs.openjdk.java.net/browse/JDK-8211960 webrev: http://cr.openjdk.java.net/~dfuchs/webrev_8211960/webrev.00/index.html
Looks good. -Chris.