On Wed, 15 Apr 2020 09:21:40 GMT, Roland Westrelin <roland at openjdk.org> wrote: > I'd like Tobias to take a look at this. Integrating this is not urgent. Fair enough, thank you ! ------------- PR: https://git.openjdk.java.net/valhalla/pull/20