On Mon, 25 Mar 2024 23:48:23 GMT, Joel Uckelman <d...@openjdk.org> wrote:

> I haven't heard back yet. I hope investigating the second bug will not hold 
> up the fix for the first bug getting merged.

It's not a show-stopper. These are different bugs. If possible, I'd like to 
follow up and find the root cause of why there are two identical folders in the 
file list.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/18126#discussion_r1539108157

Reply via email to