On Tue, 18 Apr 2023 13:11:29 GMT, Pavel Rappo <[email protected]> wrote:
>> Jonathan Gibbons has updated the pull request with a new target base due to
>> a merge or a rebase. The pull request now contains ten commits:
>>
>> - Merge remote-tracking branch 'upstream/master' into 8305713.dcp-content
>> - Merge
>> - Merge branch 'pr/13362' into pr/13362
>> - convert additional switch statements
>> - JDK-8305673: Convert DocCommentParser to use enhanced switch
>> - avoid conflict with dependent PR
>> - Merge remote-tracking branch 'upstream/master' into 8305713.dcp-content
>> - Merge remote-tracking branch 'upstream/master' into 8305713.dcp-content
>> - JDK-8305713: DocCommentParser: merge blockContent and inlineContent
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/parser/DocCommentParser.java
> line 183:
>
>> 181: * <li>{@code BODY}: the beginning of a block tag, or when readung
>> from
>> 182: * an HTML file, the appearance of {@code </main>} (or {@code
>> </body>},
>> 183: * as determined by {@link #isEndBody()}
>
> Lost trailing )
~All look OK to me; if you still think there is an issue, can you be more
specific?~
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/13431#discussion_r1170350284
