atetubou wrote:

Thank you for references both.

Actually, I'd like to have PR like 
https://github.com/llvm/llvm-project/pull/83961.
Is it acceptable to merge this kind of PR in that case then?

https://github.com/llvm/llvm-project/pull/83974
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to