Skip to content

Remove useless line for error index generation#66678

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-useless-error-index-line
Nov 25, 2019
Merged

Remove useless line for error index generation#66678
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-useless-error-index-line

Commits

Commits on Nov 23, 2019