On Thu, 10 Jun 2021 06:26:53 GMT, Igor Ignatyev <iignatyev at openjdk.org> wrote: > Hi all, > > could you please review this small patch that does $subj? > > Thanks, > -- Igor > > attn: @plummercj This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/4451