On Fri, 3 Mar 2023 13:27:58 GMT, Johan Sjölen <jsjo...@openjdk.org> wrote:
>> David Holmes has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Fix comment > > LGTM, thanks for the clean up. Thanks for the review @jdksjolen ! ------------- PR: https://git.openjdk.org/jdk/pull/12847