On Thu, 18 May 2023 18:16:49 GMT, Daniel Jeliński <[email protected]> wrote:

> Here you go:

@djelinski Thank you!

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

PR Comment: https://git.openjdk.org/jdk/pull/13428#issuecomment-1553459091

Reply via email to