RFR: JDK-8312044: Simplify toolkit Builder/Writer world.
Pavel Rappo
prappo at openjdk.org
Fri Jul 21 15:46:42 UTC 2023
On Fri, 21 Jul 2023 15:22:07 GMT, Jonathan Gibbons <jjg at 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
More information about the javadoc-dev
mailing list