On Thu, 18 May 2023 18:42:41 GMT, Alexander Zvegintsev <azvegint at openjdk.org> wrote: > Fix a typo The extraneous <p> should have been removed not just closed. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14050#issuecomment-1553568050