Skip to content

chore: remove name_pretty_override (batch 5)#16874

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

chore: remove name_pretty_override (batch 5)#16874
jskeet merged 2 commits intogoogleapis:mainfrom
jskeet:remove-name-pretty-override-10

Commits

Commits on Apr 29, 2026