On Tue, 3 Oct 2023 02:50:02 GMT, Julian Waters <jwat...@openjdk.org> wrote:
> @valeriepeng what's your opinion on this? Changes look fine to me. Although I wonder if we should add a comment to prevent future modification which re-introduces the old code... ------------- PR Comment: https://git.openjdk.org/jdk/pull/15996#issuecomment-1747346566
