Skip to content

Make name resolution errors non-fatal#30320

Merged
bors merged 1 commit into
rust-lang:masterfrom
nrc:err-names
Dec 16, 2015
Merged

Make name resolution errors non-fatal#30320
bors merged 1 commit into
rust-lang:masterfrom
nrc:err-names

Make name resolution errors non-fatal

18b4fe0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs