On Fri, 10 May 2024 01:25:45 GMT, xiaotaonan <d...@openjdk.org> wrote:
>> Clean up non-standard use of /// comments in `java.base` > > @mdinacci @hns @landonf Hello @xiaotaonan, like Jon noted in his comment, there's already another PR addressing this change. So I think this current PR can be closed. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19151#issuecomment-2113730374