On Sat, 21 Jun 2025 08:26:41 GMT, Alan Bateman <al...@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. > >> 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. I did call it out in the PR description explicitly. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25871#discussion_r2162468772