On Mon, 6 Feb 2023 17:53:24 GMT, Joe Darcy <da...@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