ergawy wrote: Ping 🔔! Please let me know if there are objections to merging this PR. Since a lot of people are on vacation, I am waiting a bit more before merging to give more time. https://github.com/llvm/llvm-project/pull/117867