Skip to content

relax deprecated diagnostic message check#8569

Merged
bors merged 1 commit intorust-lang:masterfrom
euclio:deprecation-message
Jul 31, 2020
Merged

relax deprecated diagnostic message check#8569
bors merged 1 commit intorust-lang:masterfrom
euclio:deprecation-message

Commits

Commits on Jul 31, 2020