On Wed, 28 Jul 2021 15:52:31 GMT, Igor Ignatyev <iignatyev at openjdk.org> wrote: > Hi all, > > could you please review this small patch? > > Thanks, > -- Igor Thanks, David. ------------- PR: https://git.openjdk.java.net/jdk17/pull/288