On Tue, 16 Jan 2024 06:57:26 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > What do you think? Sounds like a good plan. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/17356#discussion_r1458191028