Skip to content

Effects: don't print host param in diagnostics#114203

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:effects/pp-no-host
Jul 30, 2023
Merged

Effects: don't print `host` param in diagnostics#114203
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:effects/pp-no-host

Commits

Commits on Jul 29, 2023