On Fri, 3 Mar 2023 13:27:58 GMT, Johan Sjölen <jsjolen at 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