On Tue, 29 Aug 2023 06:57:56 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Hi, please consider this bug fix. > > Manually tested with modified qemu. Marked as reviewed by luhenry (Committer). ------------- PR Review: https://git.openjdk.org/jdk/pull/15464#pullrequestreview-1599795831