On Fri, 21 Jul 2023 15:22:07 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> It's not strictly required, but I would prefer not to delete it at this time. > It's effectively just a logging comment to help indicate who created the file. Sure, it's OK to address it later. Judging by the spec ( https://html.spec.whatwg.org/multipage/semantics.html#standard-metadata-names ), we can probably say `content="jdk.javadoc"` or some such. If nothing else, it would keep tests unaffected by changes like that. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14913#issuecomment-1645783258
