On Thu, 9 Mar 2023 10:06:20 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > Please review trivial changes mostly to comments. Thanks for taking care of this! ------------- Marked as reviewed by mcimadamore (Reviewer). PR: https://git.openjdk.org/jdk/pull/12937