On Tue, 10 Jun 2025 06:39:39 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:
> Hi David/Chris/Lucy - I added the comments to the tests. I think the `@comment` should be before the `@requires`. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25575#issuecomment-2960393458