On Tue, 20 Feb 2024 13:43:31 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > Let's merge latest tag jdk-23+10. Looks good to me. ------------- Marked as reviewed by stuefe (Committer). PR Review: https://git.openjdk.org/lilliput/pull/131#pullrequestreview-1890822109