Skip to content

chore: remove name_pretty_override (batch 4)#16872

Merged
jskeet merged 2 commits intogoogleapis:mainfrom
jskeet:remove-name-pretty-override-9
Apr 29, 2026
Merged

chore: remove name_pretty_override (batch 4)#16872
jskeet merged 2 commits intogoogleapis:mainfrom
jskeet:remove-name-pretty-override-9

Commits

Commits on Apr 29, 2026