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