On Tue, 24 May 2022 21:30:59 GMT, Pavel Rappo <pra...@openjdk.org> wrote:

>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseOptions.java
>>  line 302:
>> 
>>> 300: 
>>> 301:     /**
>>> 302:      * Argument for command-line option {@code --spec-base-URI}.
>> 
>> Have my earlier comment on the upper case in `--spec-base-URI` disappeared? 
>> I cannot seem to find it.
>
> Ah, found it: there are two of those cases.

I believe these have all been fixed

-------------

PR: https://git.openjdk.java.net/jdk/pull/8439

Reply via email to