On Tue, 27 Jul 2021 18:12:35 GMT, Igor Ignatyev <iignatyev at openjdk.org> wrote: > Hi all, > > could you please review this small patch? > > Thanks, > -- Igor closing in favor of openjdk/jdk#4974 ------------- PR: https://git.openjdk.java.net/jdk17/pull/284