On Sat, 5 Mar 2022 06:49:16 GMT, Julian Waters <jwat...@openjdk.org> wrote:
> Should I change the JBS issue title to match the PR title, or is it preferred > for the PR title to change? They need to match. You can either do it manually, or change the title to just the bug number and the bot will change it for you. ------------- PR: https://git.openjdk.java.net/jdk/pull/7268