nikic wrote: > > @ronlieb Did you intend to merge this PR? > > +1. @nikic shall I perhaps revert this for now, as it has been merged without approval? Yeah, I'd suggest reverting an opening a new PR (I don't think a merged PR can be reopened). https://github.com/llvm/llvm-project/pull/111163