On Mon, 7 Jun 2021 21:49:42 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
>> The URL for the users guide, referenced from both the About dialog and from >> the "Help -> Online Users Guide" menu item, has not functioned for a few >> releases due the restructuring of the JDK online docs. This PR fixes the >> URL. Note I also filed JDK-8268351 to get rid of the URL, but for 17 I >> prefer to just fix the URL. >> >> BTW, the change to MANAGE_HOTSPOT_MBEANS_IN_COLON_ is just my editor >> automatically getting rid of an extra space at the end of the line. > > Chris Plummer has updated the pull request incrementally with two additional > commits since the last revision: > > - Fix type from last commit > - Use URL for users guide instead of command reference LGTM! Thanks, David ------------- Marked as reviewed by dholmes (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/4399
