On Wed, 9 Jul 2025 18:59:49 GMT, Lance Andersen <lan...@openjdk.org> wrote:
> The changes are OK. Great, @LanceAndersen! Thanks for reviewing. 😃 Can you integrate it when you think it is appropriate? I guess I do not have permission to do it. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25925#issuecomment-3053780918
