On Tue, 24 Oct 2023 02:30:48 GMT, Calvin Cheung <ccheung at openjdk.org> wrote: > Looks good. Thanks @calvinccheung . Do you think it's trivial? ------------- PR Comment: https://git.openjdk.org/jdk/pull/16330#issuecomment-1776408096