I think this is a typo
-
Commit messages:
- Javadoc typo
Changes: https://git.openjdk.org/jdk/pull/11679/files
Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=11679&range=00
Issue: https://bugs.openjdk.org/browse/JDK-8303214
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 wrote:
> I think this is a typo
Marked as reviewed by martin (Reviewer).
No CSR required for typos in code samples.
-
PR Review: https://git.openjdk.org/jdk/pull/11679#pullrequestreview-1314583164
PR Comment: https://git.openjdk.org/jdk/
On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 wrote:
> I think this is a typo
need help with progressing this pull request towards integration
-
PR Comment: https://git.openjdk.org/jdk/pull/11679#issuecomment-1423692568
On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 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)
On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 wrote:
> I think this is a typo
Filled https://bugs.openjdk.org/browse/JDK-8303214
Please change PR title to `8303214: Typo in
java.util.Collections#synchronizedNavigableMap javadoc`
-
PR Comment: https://git.openjdk.org/jdk/pull/11679#i
On Thu, 9 Feb 2023 06:13:51 GMT, nbauma109 wrote:
>> I think this is a typo
>
> need help with progressing this pull request towards integration
Hello @nbauma109, have you signed the OCA? If not, please follow the
instructions in this comment
https://github.com/openjdk/jdk/pull/11679#issuecomm
On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 wrote:
> I think this is a typo
Marked as reviewed by smarks (Reviewer).
Agreed that there is no need for CSR. This is just a typo. Reviewed.
-
PR Review: https://git.openjdk.org/jdk/pull/11679#pullrequestreview-1353554321
PR Comment: ht
On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 wrote:
> I think this is a typo
Marked as reviewed by aturbanov (Committer).
-
PR Review: https://git.openjdk.org/jdk/pull/11679#pullrequestreview-1353917356
On Thu, 9 Feb 2023 06:13:51 GMT, nbauma109 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 c