Skip to content

Rename region_should_not_be_omitted to should_print_region#94280

Merged
bors merged 1 commit intorust-lang:masterfrom
tmiasko:should-print-region
Feb 23, 2022
Merged

Rename `region_should_not_be_omitted` to `should_print_region`#94280
bors merged 1 commit intorust-lang:masterfrom
tmiasko:should-print-region

Commits

Commits on Feb 23, 2022