On Mon, 30 Oct 2023 12:30:42 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Still good, thanks! Thanks for re-reviewing, Tobias. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16306#issuecomment-1785127192