Skip to content

remove pointless rustc_const_stable attribute#72434

Closed
RalfJung wants to merge 1 commit intorust-lang:masterfrom
RalfJung:useless-attr
Closed

remove pointless rustc_const_stable attribute#72434
RalfJung wants to merge 1 commit intorust-lang:masterfrom
RalfJung:useless-attr

Commits

Commits on May 21, 2020