Skip to content

Use copied instead of manual map#117549

Merged
bors merged 2 commits intorust-lang:masterfrom DaniPopes:more-copiedNov 18, 2023