Integrated: JDK-8300914: Allow `@` as an escape in documentation comments

Wed Feb 8 22:01:06 UTC 2023

On Wed, 1 Feb 2023 19:16:17 GMT, Jonathan Gibbons <jjg at 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.

This pull request has now been integrated.

Changeset: 873558ee
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/873558ee80d741469ade030c732091bead431c46
Stats:     543 lines in 22 files changed: 518 ins; 0 del; 25 mod

8300914: Allow `@` as an escape in documentation comments

Reviewed-by: prappo

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

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