On Thu, 12 Oct 2023 10:57:13 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > Let's merge the latest tag. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/lilliput-jdk17u/pull/58