On Fri, 26 May 2023 17:36:12 GMT, Michael McMahon <michaelm at openjdk.org> wrote: > There was an unrelated change to these functions recently. You might want to rebase this PR with the latest version. Done ------------- PR Comment: https://git.openjdk.org/jdk/pull/14117#issuecomment-1564855730