On Mon, 24 May 2021 18:12:00 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > Thumbs up. > > I just have some minor questions about a couple of the details. > Nothing blocking. Thanks Dan! ------------- PR: https://git.openjdk.java.net/jdk/pull/3875