On Wed, 10 Jul 2024 12:13:32 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote: > Yes, thanks, I saw it. If some other clarifications are needed, please let me know. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19710#issuecomment-2220362708