Skip to content

Omit 'obsolete' note for a warning with -Awarning#23782

Closed
mvdnes wants to merge 1 commit intorust-lang:masterfrom mvdnes:obsolete_note

Commits