rustdoc: shrink GenericArgs/PathSegment with boxed slices#97195
Merged
bors merged 5 commits intorust-lang:masterfrom May 23, 2022
Merged
rustdoc: shrink GenericArgs/PathSegment with boxed slices#97195bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom