On Tue, 9 Jan 2024 20:01:28 GMT, Joe Wang <jo...@openjdk.org> wrote:
>> Naoto Sato has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> Reflects review comments
>
> src/java.base/share/classes/java/lang/System.java line 819:
>
>> 817: * <p>
>> 818: * Additional locale-related system properties defined by the
>> 819: * {@link Locale##default_locale Default Locale} section in the
>> {@code Locale}
>
> Is that "##" a typo? double pound signs usually leads to the top of the page.
> I see PR 17065 also had "##" for links to default_locale.
The "##" refers to a normal html tag or id in the target page. A single "#"
refers to a javadoc defined method or field.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/17317#discussion_r1446545971
