On Mon, 6 Feb 2023 19:33:06 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: > > Improve spec wording src/jdk.compiler/share/classes/com/sun/source/doctree/EscapeTree.java line 54: > 52: * > 53: * <p>Note: this method returns the escaped character, not the > original escape sequence. > 54: * Please delete this newline. ------------- PR: https://git.openjdk.org/jdk/pull/12372