On Fri, 1 Dec 2023 17:07:47 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this **forwardport**. > > The original issue should've been committed to mainline first and then > backported to jdk21, but instead it was [committed in jdk21 > first](https://github.com/openjdk/jdk21/pull/130) and almost forgotten to be > brought to mainline. > > This PR brings the change to mainline just in time: RDP 1 is next week. This pull request has now been integrated. Changeset: 92f7e513 Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/92f7e513c715b52a1492f3d81788c8c46a64c6d5 Stats: 4 lines in 1 file changed: 0 ins; 0 del; 4 mod 8312098: Update man page for javadoc Reviewed-by: jlaskey Backport-of: 4fcb0b28d7eda3f147432ce8d8d27f91a0805ab6 ------------- PR: https://git.openjdk.org/jdk/pull/16929
