On Thu, 15 May 2025 07:35:06 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:
>> Daniel Gredler has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Include additional font information in message > > I added your PR to our build/test queue, let's see if it fixes the issues. > Looks good to me. I didn't try to reproduce the problem. Let's wait for > @MBaesken test results. Test results look good, with your PR the issue is gone on the 2 Linux machines where we noticed it before . ------------- PR Comment: https://git.openjdk.org/jdk/pull/25235#issuecomment-2885779628
