Skip to content

Drive-by cleanup in region naming#66684

Merged
bors merged 1 commit intorust-lang:masterfrom
mark-i-m:error-reporting-cleanup
Nov 25, 2019
Merged

Drive-by cleanup in region naming#66684
bors merged 1 commit intorust-lang:masterfrom
mark-i-m:error-reporting-cleanup

Commits

Commits on Nov 24, 2019