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-title](https://user-images.githubusercontent.com/34689748/157079404-eadbe8be-ae94-41e0-b17b-0d1a8026b9da.png)

-------------

PR: https://git.openjdk.java.net/jdk/pull/7268

Reply via email to