Integrated: JDK-8306578: Report error if no label given in @see and {@link} when no default is available

[Hannes Wallnöfer]

On Fri, 28 Apr 2023 14:01:18 GMT, Hannes Wallnöfer <hannesw at 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.

This pull request has now been integrated.

Changeset: db0857dd
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/db0857ddd8653cb3244d63064da16537126dab4c
Stats:     5 lines in 2 files changed: 0 ins; 0 del; 5 mod

8306578: Report error if no label given in @see and {@link} when no default is available

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jdk/pull/13720