On Sat, 13 Jul 2024 22:44:31 GMT, Joe Darcy <da...@openjdk.org> wrote:
>> Misc small doc updates and addition of `@Overrides` annotations.
>
> Joe Darcy has updated the pull request with a new target base due to a merge
> or a rebase. The incremental webrev excludes the unrelated changes brought in
> by the merge/rebase. The pull request contains eight additional commits since
> the last revision:
>
> - Sample precision-based conversion.
> - Merge branch 'master' into JDK-8333768
> - Include "-" to HTML minus update.
> - Merge branch 'master' into JDK-8333768
> - Respond to review feedback.
> - Merge branch 'master' into JDK-8333768
> - Merge branch 'master' into JDK-8333768
> - JDK-8333768: Minor doc updates to java.lang.{Float, Double}
Marked as reviewed by rgiulietti (Reviewer).
-------------
PR Review: https://git.openjdk.org/jdk/pull/19590#pullrequestreview-2177049990
