On Tue, 21 Oct 2025 17:39:34 GMT, Kevin Rushforth <kcr at openjdk.org> wrote: > the PR title should be: > > ``` > Merge e1d1fa91cf2670b171e64ad79b88f5d1ad3e51f7 > ``` nm. it is correct (not sure what I saw earlier). ------------- PR Comment: https://git.openjdk.org/jdk/pull/27922#issuecomment-3428289570