Skip to content

Improve map_entry suggestion - #6937

Merged
bors merged 4 commits into
rust-lang:masterfrom
Jarcho:map_entry_suggestion
Apr 16, 2021
Merged

bors merged 4 commits into
rust-lang:masterfrom
Jarcho:map_entry_suggestion

Commits

Commits on Apr 15, 2021