On Tue, 13 Jun 2023 18:08:55 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> Trivial fix to working but unsupported use of {@inheritDoc}
Marked as reviewed by lancea (Reviewer).
-------------
PR Review: https://git.openjdk.org/jdk/pull/14452#pullrequestreview-1477810928
