On Wed, 27 Sep 2023 13:07:00 GMT, Bart Smits <d...@openjdk.org> wrote:
>> Hello @zhurs, would you mind if one of us took over this PR and moved this >> forward? Daniel noted that the fix looks reasonable and it's the test which >> will need some work. We will add you as the co-author. > > Hi @jaikiran I see the Pull Request is closed, but we were actually waiting > for it to get merged. Is it still getting fixed? I see the JDK issue is still > open. Hello @BartXZX , I believe @jaikiran is still working on this. The bot will simply close a PR if nothing happened to it after sometime. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14159#issuecomment-1737603075
