On Mon, 9 Jan 2023 22:26:20 GMT, Mikael Vidstedt <mik...@openjdk.org> wrote:
> This pull request contains a clean backport of commit > [4b6809b9](https://github.com/openjdk/jdk/commit/4b6809b94a09871712df7a1c51b7192adbe2093b) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Mikael Vidstedt on 5 Jan 2023 and > was reviewed by David Holmes and Erik Joelsson. Marked as reviewed by erikj (Reviewer). ------------- PR: https://git.openjdk.org/jdk20/pull/91