Please review this change to the HotSpot Style Guide change process. The current process involves gathering consensus among the HotSpot Group Members. That's fine for changes of substance. But it seems overly weighty for editorial changes that don't affect the substance of the guide, but only it's clarity or accuracy.
The proposed change would permit the normal PR process to be used for such changes, but require the requisite reviewers to additionally be HotSpot Group Members. Note that there have already been a couple of changes that effectively followed the proposed new process. https://bugs.openjdk.java.net/browse/JDK-8274169 https://bugs.openjdk.java.net/browse/JDK-8280182 ------------- Commit messages: - update generated html - editorial change process Changes: https://git.openjdk.java.net/jdk/pull/7280/files Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=7280&range=00 Issue: https://bugs.openjdk.java.net/browse/JDK-8280916 Stats: 13 lines in 2 files changed: 9 ins; 0 del; 4 mod Patch: https://git.openjdk.java.net/jdk/pull/7280.diff Fetch: git fetch https://git.openjdk.java.net/jdk pull/7280/head:pull/7280 PR: https://git.openjdk.java.net/jdk/pull/7280
