On Tue, 13 Jun 2023 18:55:20 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> 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 commit being backported was authored by Raffaello Giulietti on 13 Jun > 2023 and was reviewed by Lance Andersen. > > Thanks! This pull request has now been integrated. Changeset: e18993c0 Author: Raffaello Giulietti <rgiulie...@openjdk.org> URL: https://git.openjdk.org/jdk21/commit/e18993c00609008ab1326da65ab479494f9914cb Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod 8309955: Matcher uses @since {@inheritDoc} Reviewed-by: bpb Backport-of: bfef3c3e80d4df98bdb0d853c2e2711cdd8252ce ------------- PR: https://git.openjdk.org/jdk21/pull/14
