Skip to content

Remove name_or_empty#139615

Merged
bors merged 5 commits intorust-lang:masterfrom
nnethercote:rm-name_or_empty
Apr 18, 2025
Merged

Remove `name_or_empty`#139615
bors merged 5 commits intorust-lang:masterfrom
nnethercote:rm-name_or_empty

Commits

Commits on Apr 16, 2025