On Fri, 23 Jul 2021 05:11:59 GMT, Igor Ignatyev <iignatyev at openjdk.org> wrote: > Hi all, > > could you please review this tiny patch? > > Thanks, > -- Igor Thanks, David. ------------- PR: https://git.openjdk.java.net/jdk17/pull/278