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

Closed

notriddle wants to merge 1 commit intorust-lang:masterfrom notriddle:notriddle/vec-extend

+101-96

Commits on Mar 4, 2022

Use extend instead of pushing in a loop
notriddle
committed