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. Although not a conflict, see PR #13811 for a related change in this area. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13720#issuecomment-1536577125
