On Tue, 6 Sep 2022 21:22:01 GMT, John Neffenger <[email protected]> wrote:
>> Please review these changes to the Javadoc index builders. This pull request >> adds 423 missing entries to the index of the JDK API Specification, corrects >> their package names in the member search index, and makes their descriptions >> deterministic. I'll follow up with more information in a separate comment. > > John Neffenger has updated the pull request incrementally with one additional > commit since the last revision: > > Rename test class members and rewrite its comments Thanks, Jonathan. A minor protocol question (my first JDK commit since it moved to GitHub): Is a pull request author supposed to press the "Re-request review" icons on GitHub when changes from a prior review are complete? I cycled through those buttons a couple of times because each time I clicked the button for one reviewer, it seemed to disable it for the other. In general, do reviewers wait for that request? ------------- PR: https://git.openjdk.org/jdk/pull/10070
