On Wed, 14 May 2025 07:43:54 GMT, Alan Bateman <al...@openjdk.org> wrote:
>> I'll file an issue for this today, shortly. > > I created JDK-8356888 yesterday and [bplb](https://github.com/bplb) has > picked it up already. So does this mean the code is good as-is now? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25178#discussion_r2091670125
