On Fri, 12 Jan 2024 14:28:45 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> Jonathan Gibbons has updated the pull request with a new target base due to
>> a merge or a rebase. The incremental webrev excludes the unrelated changes
>> brought in by the merge/rebase. The pull request contains seven additional
>> commits since the last revision:
>>
>> - Merge with upstream/master
>> - Merge remote-tracking branch 'upstream/master' into
>> 8298405.doclet-markdown-v3
>> - Address review comments
>> - Fix whitespace
>> - Improve handling of embedded inline taglets
>> - Customize support for Markdown headings
>> - JDK-8298405: Support Markdown in Documentation Comments
>
> src/jdk.compiler/share/classes/com/sun/source/util/DocTrees.java line 97:
>
>> 95: */
>> 96: public enum CommentKind {
>> 97: /** The style of comments whose lines are prefixed by{@code
>> ///}. */
>
> Suggestion:
>
> /** The style of comments whose lines are prefixed by {@code ///}. */
Fixed
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/16388#discussion_r1470340279
