On Tue, 7 Feb 2023 11:14:16 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> 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. done ------------- PR: https://git.openjdk.org/jdk/pull/12372
