Revert "Auto merge of #96441 - ChrisDenton:sync-pipes, r=m-ou-se"#97127
Merged
bors merged 1 commit intorust-lang:masterfrom May 19, 2022
Merged
Revert "Auto merge of #96441 - ChrisDenton:sync-pipes, r=m-ou-se"#97127bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom