Looks fine.

Mandy

On 5/31/19 10:37 AM, Jonathan Gibbons wrote:
Please review another round of fixes for HTML issues, this time in java.naming.

As with the management APIs, there were some inconsistencies in the ranks for the headings, which have been addressed.  The log with the simplified diff listing is attached.

-- Jon

JBS: https://bugs.openjdk.java.net/browse/JDK-8225129
Webrev: http://cr.openjdk.java.net/~jjg/8225129/webrev.00/webrev/index.html




Reply via email to