On Mon, 7 Mar 2022 16:40:15 GMT, Lance Andersen <lan...@openjdk.org> wrote:
> What problem are you having editing the PR header? You should be able to do > so as the author of the PR Exactly. You should see an "Edit" button near the right edge of the PR title. See the attached image:  ------------- PR: https://git.openjdk.java.net/jdk/pull/7268