On Fri, 28 Jun 2024 09:19:45 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > Please review this utmost trivial change. Marked as reviewed by zsong (Reviewer). ------------- PR Review: https://git.openjdk.org/skara/pull/1664#pullrequestreview-2148458866