On Wed, 25 Jun 2025 09:58:55 GMT, Michael McMahon <micha...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [1fa09052](https://github.com/openjdk/jdk/commit/1fa090524a7c3bb5f2c92fb0f7217b9277ade9d9) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Michael McMahon on 25 Jun 2025 > and was reviewed by Daniel Jeliński. > > Thanks! > Michael This looks reasonable to me. ------------- Marked as reviewed by dfuchs (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/25973#pullrequestreview-2957661541