On Thu, 9 May 2024 02:09:50 GMT, xiaotaonan <d...@openjdk.org> wrote:
> Clean up non-standard use of /// comments in `java.base` This PR is premature. Until JEP 467 is integrated, there is nothing special about `///` comments, and the compiler does not report on non-standard use. There is a Draft PR for this issue ready to go once JEP 467 has been integrated, that addresses all necessary comments in `java.base`. https://github.com/openjdk/jdk/pull/19130 ------------- PR Comment: https://git.openjdk.org/jdk/pull/19151#issuecomment-2104836545
