RFR: 7350: [Accessibility, JAWS] [Misc] Deadlinks in Help Page

Tue Oct 11 07:49:02 UTC 2022

On Mon, 10 Oct 2022 21:30:08 GMT, Christoph Langer <clanger at openjdk.org> wrote:

> > /integrate
> 
> @Suchitainf you will need to change the PR title to the JBS title ("[Accessibility, JAWS] [Misc] Deadlinks in Help Page"), then the PR will likely become ready.

Thanks for the pointer. Actually the JBS summary got changed after the PR was raised. Hence, there was a discrepancy. I have updated now.

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

PR: https://git.openjdk.org/jmc/pull/430