On Fri, 6 Oct 2023 19:47:15 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > Removing the workaround, since it isn't necessary anymore. Marked as reviewed by aptmac (Reviewer). ------------- PR Review: https://git.openjdk.org/jmc/pull/519#pullrequestreview-1662706703