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

Tue Mar 28 12:05:47 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.

Thank you Lance for the review.

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

PR Comment: https://git.openjdk.org/jdk/pull/13204#issuecomment-1486741616