On Tue, 4 Apr 2023 13:25:44 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote: > A fix for the issue and additional specific tests. Marked as reviewed by darcy (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13326#pullrequestreview-1371418773