On Sat, 4 May 2024 10:22:06 GMT, Serguei Spitsyn <sspitsyn at openjdk.org> wrote: > Looks okay to me. @sspitsyn Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19033#issuecomment-2094774327