> 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 ------------- Changes: - all: https://git.openjdk.java.net/jdk/pull/4399/files - new: https://git.openjdk.java.net/jdk/pull/4399/files/f1342735..d29e0ddb Webrevs: - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=4399&range=01 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=4399&range=00-01 Stats: 3 lines in 3 files changed: 0 ins; 0 del; 3 mod Patch: https://git.openjdk.java.net/jdk/pull/4399.diff Fetch: git fetch https://git.openjdk.java.net/jdk pull/4399/head:pull/4399 PR: https://git.openjdk.java.net/jdk/pull/4399
