On Tue, 16 Jul 2024 19:31:45 GMT, Rob McKenna <robm at openjdk.org> wrote: > Merge Looks good. ------------- Marked as reviewed by kcr (no project role). PR Review: https://git.openjdk.org/jdk22u/pull/253#pullrequestreview-2181165268