On Tue, 30 Apr 2024 11:38:37 GMT, Fei Yang <fyang at openjdk.org> wrote: > Yes. that looks more reasonable. Thanks for the cleanup. Thanks! ------------- PR Comment: https://git.openjdk.org/jdk/pull/19014#issuecomment-2085193190