On Mon, 8 Jul 2024 14:26:29 GMT, Matthias Baesken <[email protected]> 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