On Tue, 26 Nov 2024 07:00:24 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > LGTM. Thanks for your review, @tstuefe . Much appreciated. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21994#issuecomment-2500285420