On Sat, 28 Sep 2024 23:07:39 GMT, Karm Michal Babacek <[email protected]> wrote:
> > * There is a title mismatch between this PR and the JBS entry. Which one > > should it be if any? (and I'll help you fix that one). > > Use the title from this PR, please. Done. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20169#issuecomment-2382554795
