On Tue, 22 Aug 2023 12:19:42 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this trivial PR. This pull request has now been integrated. Changeset: 0901d75e Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/0901d75e074322c5a8d55e3c72c4cba4291fb00c Stats: 6 lines in 3 files changed: 0 ins; 0 del; 6 mod 8314762: Make {@Incubating} conventional Reviewed-by: jjg, iris, chegar ------------- PR: https://git.openjdk.org/jdk/pull/15387