get rid of a whole bunch of unnecessary rustc_const_unstable attributes#132458
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 3, 2024
Merged
get rid of a whole bunch of unnecessary rustc_const_unstable attributes#132458bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
