RFR: JDK-8300914: Allow `@` as an escape in documentation comments [v2]

Fri Feb 3 21:26:51 UTC 2023

On Fri, 3 Feb 2023 18:59:00 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Will do.
>
> Note that `@@` and `@*` are also context-sensitive, and can only be used where the unescaped character would have a different effect.
> 
> Nevertheless, the suggestion for additional tests to demonstrate the behavior is well-taken.

done

-------------

PR: https://git.openjdk.org/jdk/pull/12372