On Mon, 30 Mar 2026 10:48:33 GMT, Jaikiran Pai <[email protected]> wrote:
> I can change it to the style you suggest if you prefer that one better. I'm not strongly opinionated. This version is okay too. You can proceed as you wish. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/30466#discussion_r3009094813
