Remove use of #[rustc_deprecated] in favor of #[deprecated]#1301
Merged
Amanieu merged 1 commit intorust-lang:masterfrom Apr 8, 2022
jhpratt:remove-rustc_deprecated
Merged
Remove use of #[rustc_deprecated] in favor of #[deprecated]#1301Amanieu merged 1 commit intorust-lang:masterfrom jhpratt:remove-rustc_deprecated
#[rustc_deprecated] in favor of #[deprecated]#1301Amanieu merged 1 commit intorust-lang:masterfrom
jhpratt:remove-rustc_deprecated
