Closed ExpHP closed 5 years ago
Fix #140
Thanks for writing this and I don't mind landing it...
...but right now I think we'll probably not remove #[deprecated = "..."] from the language.
#[deprecated = "..."]
Fix #140