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! Can the test be augmented to catch this case too? ------------- PR: https://git.openjdk.org/jdk/pull/11083
