On Mon, 8 Apr 2024 15:38:33 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > (Either way, I feel this decision can/should be made in its own ticket.) I agree. This patch should focus on merging. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/18634#discussion_r1556096105