On Mon, 28 Oct 2024 18:26:51 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> Open to changing it, but here I am using the class name. Perhaps I should >> enclose with an `@code`. > > The text says it is an "operation as defined in...". Addressed in: https://github.com/openjdk/jdk/pull/20301/commits/54d806943671842ae54ee723a4e86cd965b888ae ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20301#discussion_r1819585863
