Skip to content

chore: remove name_pretty_override (batch 2)#16870

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

chore: remove name_pretty_override (batch 2)#16870
jskeet merged 2 commits intogoogleapis:mainfrom
jskeet:remove-name-pretty-override-7

Commits

Commits on Apr 29, 2026