arrowd wrote: @nikic Sorry for pinging you, but I can't get a feedback on this PR for months. It is trivial and can either be merged quickly, or discarded as not worth merging. https://github.com/llvm/llvm-project/pull/141901