On Tue, 27 Feb 2024 03:11:37 GMT, Jiangli Zhou <jian...@openjdk.org> wrote:
> Please help review this trivial change. This was branched from > https://github.com/openjdk/jdk/pull/18013, based on discussion with > @plummercj in https://github.com/openjdk/jdk/pull/18013 comments. Thanks LGTM ------------- Marked as reviewed by djelinski (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/18019#pullrequestreview-1902717059
