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.