Skip to content

Hide compiler_builtins in the prelude#113557

Merged
bors merged 1 commit intorust-lang:masterfrom
Amanieu:no-builtins-prelude
Jul 16, 2023
Merged

Hide `compiler_builtins` in the prelude#113557
bors merged 1 commit intorust-lang:masterfrom
Amanieu:no-builtins-prelude

Commits

Commits on Jul 14, 2023