On Mon, 8 Jul 2024 14:26:29 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:

> Hi Severin, sure ! I put it into our build/test setup .

Thanks!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/20076#issuecomment-2214368557

Reply via email to