On Thu, 10 Nov 2022 09:02:02 GMT, Lutz Schmidt <l...@openjdk.org> wrote:
> This small change fixes a warning that may pop up during runtime. May I > please request reviews? Thank you! Looks good. Thank you for taking care about this. Serguei ------------- Marked as reviewed by sspitsyn (Reviewer). PR: https://git.openjdk.org/jdk/pull/11083