On Tue, 7 Feb 2023 22:18:25 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Please review a moderately simple update to permit the use of `@` as the >> escape character in a limited set of escape sequences. > > Jonathan Gibbons has updated the pull request incrementally with one > additional commit since the last revision: > > Address review feedback Looks good, but see the comment on caret positioning in one of the tests below. test/langtools/tools/doclint/HtmlTagsTest.out line 51: > 49: HtmlTagsTest.java:75: error: text not allowed in <ul> element > 50: * <ul> *@/ <li> ... </li> </ul> > 51: ^ That's weird caret positioning. ------------- Marked as reviewed by prappo (Reviewer). PR: https://git.openjdk.org/jdk/pull/12372
