Matthias Krüger 540fb228af
Rollup merge of #139615 - nnethercote:rm-name_or_empty, r=jdonszelmann
Remove `name_or_empty`

Another step towards #137978.

r? ``@jdonszelmann``
2025-04-18 05:16:29 +02:00
..
2025-01-08 21:26:39 +01:00
2025-03-06 11:11:55 -08:00
2025-03-27 18:29:06 +00:00
2025-02-24 14:35:30 +00:00
2024-07-29 08:26:52 +10:00