Use `extend` instead of `push`ing in a loop#10453

Merged

bors merged 1 commit intorust-lang:masterfrom notriddle:notriddle/vec-extend

Mar 4, 2022

+12-12

Commits on Mar 3, 2022

Use extend instead of pushing in a loop
notriddle
committed