Skip to content

Rename impl_defaultness to defaultness#112165

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:rn-defualtness
Jun 2, 2023
Merged

Rename `impl_defaultness` to `defaultness`#112165
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:rn-defualtness

Commits

Commits on Jun 1, 2023