On Wed, 19 Apr 2023 19:14:03 GMT, Andrey Turbanov <aturbanov at openjdk.org> wrote: > nit This trivial change will be made before integration, thanks. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13503#discussion_r1171758818