On Wed, 1 Feb 2023 19:16:17 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. This pull request has now been integrated. Changeset: 873558ee Author: Jonathan Gibbons <j...@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
