On Wed, 31 May 2023 12:54:57 GMT, Severin Gehwolf <sgehwolf at 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