Skip to content

Use diagnostic item for Vec#4519

Merged
bors merged 1 commit intomasterfrom
vec-diagnostic-item
Sep 9, 2019
Merged

Use diagnostic item for `Vec`#4519
bors merged 1 commit intomasterfrom
vec-diagnostic-item

Commits

Commits on Sep 9, 2019