On Mon, 10 Aug 2020 15:16:42 GMT, Frederic Parain <fparain at openjdk.org> wrote: >> Looks good to me. Thanks for making these changes! > > Thanks Tobias! > > Fred /integrate ------------- PR: https://git.openjdk.java.net/valhalla/pull/137