On Fri, 18 Feb 2022 08:46:51 GMT, Volker Simonis <[email protected]> wrote:
> The change looks innocuous so it is probably OK. I would like to kick of our > Mach5 runs to see if it shakes out any potential issues. @LanceAndersen , did you manage to get any Mach5 results? Did you find any issues? ------------- PR: https://git.openjdk.java.net/jdk/pull/7492
