On Mon, 31 Mar 2025 13:35:24 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> So in this context, having the proposed comment at that place only just adds > to the confusion. Sure, I removed the comments with a new commit. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24115#issuecomment-2766441330
