On Tue, 11 Nov 2025 13:21:38 GMT, Casper Norrbin <cnorrbin at openjdk.org> wrote: > Looks good to me! Thanks for the review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/27743#issuecomment-3517235877