Integrated: 8304989: unnecessary dash in @param gives double-dash in docs

Tue Mar 28 12:05:48 UTC 2023

On Tue, 28 Mar 2023 08:06:48 GMT, Jaikiran Pai <jpai at openjdk.org> wrote:

> Can I please get a review of this trivial doc-only change that addresses https://bugs.openjdk.org/browse/JDK-8304989?
> 
> I ran `make docs-image` with this change and the generated javadocs look fine.

This pull request has now been integrated.

Changeset: c90699ea
Author:    Jaikiran Pai <jpai at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/c90699eae7698481c10d10196e6199582f0c10aa
Stats:     8 lines in 3 files changed: 0 ins; 0 del; 8 mod

8304989: unnecessary dash in @param gives double-dash in docs

Reviewed-by: lancea

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

PR: https://git.openjdk.org/jdk/pull/13204