On Mon, 24 Jan 2022 19:02:05 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties >> line 433: >> >>> 431: doclet.usage.date.description=\ >>> 432: Specifies the value to be used to timestamp the generated\n\ >>> 433: pages, in ISO_ZONED_DATE_TIME format >> >> I guess it is technically correct to use a `DateTimeFormatter` constant >> name here, but wouldn't it be better form to use a generic term like >> "ISO-8601 format"? > > Yeah, you're right, that would be better, and sufficient. Fixed ------------- PR: https://git.openjdk.java.net/jdk/pull/7171
