Sirraide wrote:

@kovan In the future if you notice a stale pr like that that’s been approved 
but not merged, please add a `ping` comment to it; that should notify most of 
the people involved with that pr.

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

Reply via email to