On Thu, 8 Jun 2023 00:53:18 GMT, Nagata-Haruhito <duke at openjdk.org> wrote: > Thank you very match. I changed as follow the CSR description. Thank you. I have approved the PR so I think you can integrate now. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13526#discussion_r1222327170