On Fri, 20 Aug 2021 17:54:37 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> This discussion does not belong here. I've hoped to specify tag syntax before we push this PR. Until the syntax has been specified, the comment has to be stored somewhere. What would be an appropriate place to store that comment in? > I suggest the rules for (Unicode) identifiers What do those rules look like? Do you have a link handy? ------------- PR: https://git.openjdk.java.net/jdk/pull/4795
