On Tue, 19 Oct 2021 23:50:56 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Approved, but .... > > The PR is about providing comments, and (with one typo) they're OK. But it > does seem like some names could be moved into specific existing or new > sections other than just "Miscellaneous". But, I guess I'm OK if you would > prefer to do that as a separate round of cleanup. Thanks for the review. I have addressed some of your comments: fixed the typo, reworded "text blocks ..." as "part of a documentation comment" and moved one item to an existing section. I haven't renamed any styles, nor created any new sections though. I'll create an issue for those further tasks. ------------- PR: https://git.openjdk.java.net/jdk/pull/5944
