On Fri, 20 Dec 2024 07:53:07 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: > Hi Severin, I added it to our build/test queue. Thanks, Matthias! ------------- PR Comment: https://git.openjdk.org/jdk/pull/22835#issuecomment-2556610466