On Wed, 25 Jan 2023 02:05:31 GMT, Mikael Vidstedt <[email protected]> wrote:

> Looks good, thank you for doing this!

@vidmik Thank you!

-------------

PR: https://git.openjdk.org/jdk/pull/11935

Reply via email to