On Mon, 17 Oct 2022 16:35:16 GMT, Leonid Mesnik <lmesnik at openjdk.org> wrote: > The fix is contributed by @plummercj actually. Marked as reviewed by dnsimon (Committer). ------------- PR: https://git.openjdk.org/jdk/pull/10730