marbre wrote: Just after merging my changes, I noticed that you're comment could likely be interpreted as approval but that it *technically* wasn't a GitHub PR approval. I missed this and hope that merging was fine anyway. https://github.com/llvm/llvm-project/pull/80325