Skip to content

Remove unnecessary #![feature(min_specialization)] - #120866

Merged
bors merged 1 commit into
rust-lang:masterfrom
Zalathar:no-min-spec
Feb 10, 2024
Merged

bors merged 1 commit into
rust-lang:masterfrom
Zalathar:no-min-spec

Commits

Commits on Feb 10, 2024