On Fri, 6 Aug 2021 17:31:41 GMT, Igor Ignatyev <iignatyev at openjdk.org> wrote: > Hi all, > > could you please review this small and trivial patch? > > Thanks, > -- Igor Thanks, Dan. ------------- PR: https://git.openjdk.java.net/jdk/pull/5034