On Wed, 31 May 2023 12:54:57 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:

> Yes, I'll try to do a review later today or tomorrow.

Awesome, thanks!

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

PR Comment: https://git.openjdk.org/jdk/pull/14216#issuecomment-1570276516

Reply via email to