Re: Integrated: 8288270: Tier1 build failures after JDK-8287178

[Jie Fu]

On Fri, 10 Jun 2022 23:49:45 GMT, Hai-May Chao <hc...@openjdk.org> wrote:

> Please review the small fix in comment.

Looks good and trivial.
Thanks.

-------------

Marked as reviewed by jiefu (Reviewer).

PR: https://git.openjdk.org/jdk/pull/9135