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 No objection to this change but I think we should create a follow-on issue to drop this link from the About page. That will also avoid needing to periodically test that the link still works. Update: I see JDK-8268351 is created - good. ------------- PR: https://git.openjdk.java.net/jdk/pull/4399
