Use Vec extend instead of repeated pushes on several places#91042
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 9, 2021
Merged
Use Vec extend instead of repeated pushes on several places#91042bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
