On Tue, 30 May 2023 16:10:39 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
>> Please review a trivial change to generate an error instead of a warning
>> when no label is provided with a reference to a user-provided anchor.
>
> Hannes Wallnöfer has updated the pull request with a new target base due to a
> merge or a rebase. The pull request now contains two commits:
>
> - Merge branch 'master' into JDK-8306578
> - JDK-8306578: Report error if no label given in @see and {@link} when no
> default is available
Marked as reviewed by jjg (Reviewer).
-------------
PR Review: https://git.openjdk.org/jdk/pull/13720#pullrequestreview-1457686885
