Skip to content

Remove unused feature from error index generator#40898

Merged
bors merged 1 commit intorust-lang:masterfrom
MaloJaffre:remove-unused-feature
Mar 31, 2017
Merged

Remove unused feature from error index generator#40898
bors merged 1 commit intorust-lang:masterfrom
MaloJaffre:remove-unused-feature

Commits

Commits on Mar 29, 2017