On Thu, 28 Mar 2024 17:03:46 GMT, Jonathan Gibbons <[email protected]> wrote:
> Some of us are in the privileged position of being at the bottom of the > software stack, and so we rarely if ever need to create documentation to > other libraries. That paragraph of mine (that you are likely replying to) was about the fact that I was unfamiliar with that part of javadoc, not that I find it unimportant. Hence, I didn't envision any issues like the one raised by Chen. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18519#issuecomment-2025750358
