josel-amd wrote: > > Ping > > As Simon already approved, should I merge on your behalf or what do you ping for? :) I was not sure if you still wanted to have an extra look. Feel free to merge it on my behalf. Thanks! https://github.com/llvm/llvm-project/pull/118940