On Wed, 25 Jan 2023 02:05:31 GMT, Mikael Vidstedt <mik...@openjdk.org> wrote:

> Looks good, thank you for doing this!

@vidmik Thank you!

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

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

Reply via email to