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

Tue Mar 28 07:54:33 UTC 2023

On Thu, 9 Feb 2023 06:13:51 GMT, nbauma109 <duke at openjdk.org> wrote:

>> I think this is a typo
>
> need help with progressing this pull request towards integration

Hello @nbauma109, this change is now ready to be merged. For that to happen, you will have to add an `/integrate` comment to this PR so that someone can the sponsor it for you.

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

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