Skip to content

remove push_trait_bound_inner#124288

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:rm_inner
Apr 23, 2024
Merged

remove `push_trait_bound_inner`#124288
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:rm_inner

Commits

Commits on Apr 23, 2024