Fznamznon wrote:

> Isn't that covered by #207478?

Yeah, we probably should go with this PR since it was created in July and never 
merged due to people with merge rights missing the ping to merge.

https://github.com/llvm/llvm-project/pull/217171
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to