On Tue, 5 Apr 2022 18:58:02 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Pavel Rappo has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> Address feedback
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
> line 118:
>
>> 116: doclet.UnknownTag={0} is an unknown tag.
>> 117: doclet.UnknownTagLowercase={0} is an unknown tag -- same as a known tag
>> except for case.
>> 118: doclet.unsuitableInheritDocContext=@inheritDoc cannot be used in this
>> context
>
> Suggest using the more-specific word "tag"
> That might suggest changing the resource name as well.
Addressed all in 191832b.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8107
