On Thu, 17 Jul 2025 18:42:25 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > As title says. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/lilliput/pull/202