On Tue, 29 Oct 2024 19:52:29 GMT, rebarbora-mckvak <d...@openjdk.org> wrote:
> Wierd, I do not see those comments in github. Anyway it is fixed now. @rebarbora-mckvak - change looks good to me @wangweij - this commit addresses the two issues I highlighted, I don't have any other concerns ------------- PR Comment: https://git.openjdk.org/jdk/pull/16687#issuecomment-2445223323
