On Thu, 12 Sep 2024 20:29:47 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Grrr, the fix is incomplete. I went back and tried the example from the JBS > issue, and the part related to the annotation in a leading indented code > block is still there. > > ``` > Generating play/test/api/Test.html... > play/test/src/Test.java:2: warning: unknown tag. Unregistered custom tag? > /// @Override > ^ > ``` One point for you, minus one point for me. I should've been more careful reviewing the PR. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20956#issuecomment-2347341767
