On Sat, 15 Apr 2023 19:54:41 GMT, Eirik Bjorsnos <d...@openjdk.org> wrote:
> Would you prefer that I expand this PR to take care of at least a few of > those? Happy to do so, but it will require more reviewer cycles. (Although > changes should be fairly straightforward). Gosh no, my comment was to say that there are likely many other cases where a bolded-"Note" is used to communicate an API note as that was the norm before the apiNote tag was added. Not important but they could be looked at in other PRs, the main thing is to ensure that notes for implementors aren't accidentally changed to API notes, or that text that follows a "Note" doesn't accidentally become part of an API note. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13487#issuecomment-1510186945
