Skip to content

Shrink SubregionOrigin.#64394

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:shrink-SubregionOrigin
Sep 18, 2019
Merged

Shrink `SubregionOrigin`.#64394
bors merged 1 commit intorust-lang:masterfrom
nnethercote:shrink-SubregionOrigin

Commits

Commits on Sep 12, 2019