RFR: 8303214: Typo in java.util.Collections#synchronizedNavigableMap javadoc

Wed Mar 22 19:46:45 UTC 2023

On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 <duke at openjdk.org> wrote:

> I think this is a typo

Yeah this looks like a typo, but it doesn't fall under the `javadoc` tag—that's for the `javadoc` tool and related, not for issues in documentation. This might require a [CSR](https://wiki.openjdk.org/display/csr/Main) despite it being a minor typo.

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

PR Comment: https://git.openjdk.org/jdk/pull/11679#issuecomment-1375008690