On Tue, 20 Apr 2021 16:01:47 GMT, Richard Reingruber <rrich at openjdk.org> wrote: > The change looks good to me. > > Thanks, Richard. Thanks Richard! Patricio ------------- PR: https://git.openjdk.java.net/jdk/pull/3548