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

Reply via email to