On Fri, 13 Jan 2023 22:54:47 GMT, Joe Darcy <da...@openjdk.org> wrote:
>> With generalized see and link tags that can refer to anchors (JDK-8200337),
>> the see and link tags in core libraries should be updated to use this
>> feature when possible. This PR covers such updates for java.base.
>
> Joe Darcy has updated the pull request incrementally with one additional
> commit since the last revision:
>
> Fix typo found in code review.
src/java.base/share/classes/java/lang/CharSequence.java line 76:
> 74: *
> 75: * <p>If the {@code char} value specified by the index is a
> 76: * {@linkplain Character##unicode surrogate}, the surrogate value
I didn't know about the `##` trick. Is that a new feature to target an HTML
anchor?
-------------
PR: https://git.openjdk.org/jdk/pull/12000
