Skip to content

rustc_deprecated got removed, now only deprecated is used#42

Merged
jyn514 merged 1 commit intorust-lang:masterfrom
est31:now_deprecated_is_my_new_friend
Aug 24, 2022

Commits

Commits on Aug 23, 2022