On Fri, 28 Apr 2023 14:01:18 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. This pull request has now been integrated. Changeset: db0857dd Author: Hannes Wallnöfer <hann...@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
