On Thu, 23 May 2024 05:52:57 GMT, Alan Bateman <al...@openjdk.org> wrote:
> > A long vertical series of lines beginning /// is replaced by lines > > beginning //|. > > This one looks unusual when it's just one line, I could imagine deleting the > "|" in these cases. OK. I was just trying to honor the apparent intent to make the comment stand out more than just a plain `//` comment, but I have no strong feelings against reducing `///` to `//` ------------- PR Comment: https://git.openjdk.org/jdk/pull/19130#issuecomment-2135914838