Optimize counting digits in line numbers during error reporting#82248
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 18, 2021
Merged
Optimize counting digits in line numbers during error reporting#82248bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom