On Tue, 28 May 2024 19:58:42 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties >> line 381: >> >>> 379: # The title for the Javadoc Search Specification >>> 380: doclet.help.search.spec.title=Javadoc Search Specification >>> 381: doclet.help.releases.head=Release Details >> >> The subtitle "Release Details" surprised me, because it seems to suggest >> "details about releases", while it is more like "release information >> (contained in API details)". > > I'll look to see what I can improve Sorry, revisiting this now I think "Release Details" is absolutely fine. I must have been overly nit-picky that day. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/19222#discussion_r1866106074
