On Wed, 26 Jun 2024 13:07:06 GMT, Christian Stein <cstein at openjdk.org> wrote: > Looks good to me — @jonathan-gibbons do you agree? Thanks for the review, and I change the copyright year to 2024. ------------- PR Comment: https://git.openjdk.org/jtreg/pull/210#issuecomment-2191896027