On Thu, 13 Nov 2025 13:57:27 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > Looks good! thanks for the review! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28276#issuecomment-3528345372