On Tue, 4 Apr 2023 07:20:11 GMT, Serguei Spitsyn <sspitsyn at openjdk.org> wrote: > Looks good and trivial. Thank you for taking care about it. -Serguei Thanks @sspitsyn for your review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13318#issuecomment-1495485094