run-make: drop os_pipe workaround now that anonymous_pipe is stable on beta#139976
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 18, 2025
Merged
run-make: drop `os_pipe` workaround now that `anonymous_pipe` is stable on beta#139976bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
