Skip to content

Optimize mk_region#108020

Merged
bors merged 4 commits intorust-lang:masterfrom
nnethercote:opt-mk_region
Feb 16, 2023
Merged

Optimize `mk_region`#108020
bors merged 4 commits intorust-lang:masterfrom
nnethercote:opt-mk_region

Commits

Commits on Feb 14, 2023