Skip to content

Shrink thir::Pat#101139

Merged
bors merged 5 commits intorust-lang:masterfrom
nnethercote:shrink-thir-Pat
Sep 3, 2022
Merged

Shrink `thir::Pat`#101139
bors merged 5 commits intorust-lang:masterfrom
nnethercote:shrink-thir-Pat

Commits

Commits on Sep 1, 2022