On Thu, 9 May 2024 02:09:50 GMT, xiaotaonan <duke at openjdk.org> wrote: > Clean up non-standard use of /// comments in `java.base` This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/19151