On Mon, 27 Nov 2023 18:58:14 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:

>> Yeah, I was thinking the same. Maybe @sspitsyn or @plummercj could give 
>> guidance here?
>
> This looks okay. I see no problem with it.

OK. Thanks.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/16783#discussion_r1406637379

Reply via email to