On Wed, 24 May 2023 09:16:46 GMT, Martin Doerr <mdo...@openjdk.org> wrote:
> Please review this trivial adaptation for JDK-8308276. Marked as reviewed by mbaesken (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/14116#pullrequestreview-1441800497