On Fri, 9 Feb 2024 23:16:20 GMT, Christoph Langer wrote:
> I will integrate this in the next days unless somebody explicitly vetoes
> (given that the PR shows reviews from 3 persons)
I guess that would be OK, but we may revisit this to do one of the things I
outlined above.
-
PR
On Wed, 31 Jan 2024 06:05:18 GMT, Christoph Langer wrote:
>> This picks up fixing the issue of
>> [JDK-8276809](https://bugs.openjdk.org/browse/JDK-8276809) again. A fix had
>> been integrated with #17224 but @prrace had concerns and so it was backed
>> out.
>>
>> I have now spent quite some
> This picks up fixing the issue of
> [JDK-8276809](https://bugs.openjdk.org/browse/JDK-8276809) again. A fix had
> been integrated with #17224 but @prrace had concerns and so it was backed out.
>
> I have now spent quite some thoughts into the problem and end up with the
> [initial
> commit](
