Remove unnecessary rustc_const_stable attributes.#77719
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 14, 2020
Merged
Remove unnecessary rustc_const_stable attributes.#77719bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom