On Dec 6, 2013, at 8:59 PM, Mike Duigou <mike.dui...@oracle.com> wrote:
> Hello all; > > https://bugs.openjdk.java.net/browse/JDK-8029696 > > Michael McMahon noticed that some links to the anchor #NonInterference were > not using the correct name for the anchor. He prepared a patch which I > reviewed, tested. I also checked to make sure there were no other broken > instances. > > I've prepared a webrev of the patch for anyone else who wishes to review. > > http://cr.openjdk.java.net/~mduigou/JDK-8029696/0/webrev/ > +1 Paul.