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