zeyi2 wrote: It seems that Github's merging button is broken again. I'll try to merge this PR later.. <img width="1600" height="290" alt="image" src="https://github.com/user-attachments/assets/d27874cc-8620-44d0-8d70-669308f5a6fb" />
https://github.com/llvm/llvm-project/pull/228120 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
