On Tue, 30 Sep 2025 05:07:12 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Sorry for the delay, this fell through the cracks somehow. Good. Thanks! No problem at all. Thank you! ------------- PR Comment: https://git.openjdk.org/jdk/pull/27248#issuecomment-3351007366