On Thu, 13 Oct 2022 16:58:38 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: > Trivial and obvious fix for [JDK-8291461](https://bugs.openjdk.org/browse/JDK-8291461). Reproducer passes with this fix. LGTM ------------- Marked as reviewed by goetz (Reviewer). PR: https://git.openjdk.org/jdk11u-dev/pull/1459