On Mon, 12 Oct 2020 13:26:51 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Thanks for making these changes. Looks good to me. Thanks for the review. ------------- PR: https://git.openjdk.java.net/valhalla/pull/185