On Tue, 28 Feb 2023 13:31:06 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this trivial fix. This pull request has now been integrated. Changeset: dc5ea6ae Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/dc5ea6aeb500d531b4ba49c8e95bf97744cc6c33 Stats: 6 lines in 3 files changed: 0 ins; 0 del; 6 mod 8303350: Fix mistyped {@code} Reviewed-by: jpai ------------- PR: https://git.openjdk.org/jdk/pull/12784
