On Thu, 16 Jul 2020 18:04:47 GMT, Frederic Parain <fparain at openjdk.org> wrote: >> The changes look good! >> Thanks, Harold > > Thanks Harold! > > Fred /integrate ------------- PR: https://git.openjdk.java.net/valhalla/pull/110