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