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 Seems fine. Thanks, David ------------- Marked as reviewed by dholmes (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/4976