On Tue, 7 May 2024 22:23:48 GMT, Jonathan Gibbons <j...@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. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19130#issuecomment-2126289283