On Tue, 3 Aug 2021 21:12:06 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/jdk/pull/4976