On Fri, 28 Mar 2025 23:33:48 GMT, William Kemper <wkemper at openjdk.org> wrote: > Trivial change, comment only. Thanks for fixing this! ------------- Marked as reviewed by ysr (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/24304#pullrequestreview-2748445404