Skip to content

chore: remove name_pretty_override (batch 1)#16869

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

chore: remove name_pretty_override (batch 1)#16869
jskeet merged 2 commits intogoogleapis:mainfrom
jskeet:remove-name-pretty-override-6

Commits

Commits on Apr 29, 2026