On Sat, 13 Jan 2024 02:21:37 GMT, Lei Zaakjyu <d...@openjdk.org> wrote:
> see 'https://github.com/openjdk/jdk/pull/17398#pullrequestreview-1819022919' Yes this could be considered trivial, but Reviewed anyway. Thanks ------------- Marked as reviewed by dholmes (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/17412#pullrequestreview-1820494931
