Rollup merge of #139615 - nnethercote:rm-name_or_empty, r=jdonszelmann
Remove `name_or_empty` Another step towards #137978. r? ``@jdonszelmann``
M
Matthias Krüger committed
540fb228af41bbc937adc15d98cd72fabaff95c2
Committed by GitHub <noreply@github.com>
on 4/18/2025, 3:16:29 AM