On Wed, 5 Jun 2024 15:42:22 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Yup, like this: nice and tidy. Just like you initially suggested! 😅 ------------- PR Comment: https://git.openjdk.org/jdk/pull/19538#issuecomment-2150395906