On Mon, 16 Jan 2023 15:06:25 GMT, Daniel Fuchs <dfu...@openjdk.org> wrote:
>> 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?
The CSR has a concise description:
[JDK-8294195](https://bugs.openjdk.org/browse/JDK-8294195) Generalize see and
link tags for user-defined anchors
-------------
PR: https://git.openjdk.org/jdk/pull/12000
