On Thu, 16 May 2024 15:05:32 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> There were some community comments objecting the use of `///` for markdown > documentation, and called for alternative syntaxes like `/*markdown */`. This was [addressed](https://openjdk.org/jeps/467#Using-///-for-Markdown-documentation-comments) in an update to JEP 467. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16388#issuecomment-2115749018