On Thu, 11 Dec 2025 11:52:38 GMT, Daniel Fuchs <dfuchs at openjdk.org> wrote: > Thanks for the updates. LGTM. Thank you! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28632#issuecomment-3641578901