On Tue, 25 Jun 2024 17:31:09 GMT, Ferenc Rakoczi <d...@openjdk.org> wrote:
>> Hi @vpaprotsk, >> @ferakocz is going to take a look at the change. When he says it's ok, I'll >> approve the PR. > > @ascarpino please approve this change. Thanks @ferakocz @ascarpino ------------- PR Comment: https://git.openjdk.org/jdk/pull/19728#issuecomment-2190106639
