On Thu, 24 Aug 2023 15:47:20 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: >> Looks good. > > Thanks, @shipilev and @MBaesken @zhengyu123 ^^^ ------------- PR Comment: https://git.openjdk.org/jdk11u-dev/pull/2097#issuecomment-1692031420