On Tue, 13 Jun 2023 18:55:20 GMT, Raffaello Giulietti
wrote:
> Hi all,
>
> This pull request contains a backport of commit
> [bfef3c3e](https://github.com/openjdk/jdk/commit/bfef3c3e80d4df98bdb0d853c2e2711cdd8252ce)
> from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
>
> The
On Tue, 13 Jun 2023 18:08:55 GMT, Raffaello Giulietti
wrote:
> Trivial fix to working but unsupported use of {@inheritDoc}
This pull request has now been integrated.
Changeset: bfef3c3e
Author:Raffaello Giulietti
URL: