On Thu, 18 May 2023 18:16:49 GMT, Daniel Jeliński <djelin...@openjdk.org> wrote:

> Here you go:

@djelinski Thank you!

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

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

Reply via email to