On Wed, 4 Dec 2024 21:06:45 GMT, Weijun Wang <wei...@openjdk.org> wrote:
> Switch to `FINAL`. Looks good to me. ------------- Marked as reviewed by jnimeh (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/22562#pullrequestreview-2480229065
On Wed, 4 Dec 2024 21:06:45 GMT, Weijun Wang <wei...@openjdk.org> wrote:
> Switch to `FINAL`. Looks good to me. ------------- Marked as reviewed by jnimeh (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/22562#pullrequestreview-2480229065