On Mon, 6 Feb 2023 17:53:24 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Therefore, I think these tests should be included in the repository, but not run all the time, which led me to declare them as a manual jtreg test. ------------- PR: https://git.openjdk.org/jdk/pull/12430