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
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