On Mon, 12 Apr 2021 07:56:36 GMT, Richard Reingruber <rrich at openjdk.org> wrote: > Nice > Richard. Thank you! ------------- PR: https://git.openjdk.java.net/jdk/pull/3191