[llvm-branch-commits] [llvm] PR for llvm/llvm-project#80024 (PR #80025)

[Stefan Gränitz via llvm-branch-commits]

weliveindetail wrote:

Great, I think we can consider this done. IIRC the PR is waiting here for someone to merge it and then the ticket will be closed automatically.

https://github.com/llvm/llvm-project/pull/80025