Rename directive needs-profiler-support
to needs-profiler-runtime
#131429
Merged
bors merged 3 commits intorust-lang:masterfrom Oct 9, 2024
Merged
Rename directive `needs-profiler-support` to `needs-profiler-runtime`#131429bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom