On Fri, 20 Jun 2025 10:54:09 GMT, David Beaumont <d...@openjdk.org> wrote:
> These were here explicitly to be discussed in review. If you think it's now > covered by JDK-8359949, I can remove them. Okay, it's just that they initially make it look like the PR is not ready for review. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25871#discussion_r2159977074
