Skip to content

librustc_errors: Remove unused annotation style OldSchoolNoteText#61073

Merged
bors merged 1 commit into
rust-lang:masterfrom
phansch:remove_unused_annotation_style
May 23, 2019
Merged

librustc_errors: Remove unused annotation style OldSchoolNoteText#61073
bors merged 1 commit into
rust-lang:masterfrom
phansch:remove_unused_annotation_style

librustc_errors: Remove unused annotation style `OldSchoolNoteText`

5ed4237
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs