On Wed, 29 Oct 2025 09:37:55 GMT, Anton Seoane Ampudia <aseoane at openjdk.org> wrote: > Looks good to me too! Thanks for reviewing, Antón. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28040#issuecomment-3460708904