Skip to content

chore: remove name_pretty_override (batch 3)#16871

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

chore: remove name_pretty_override (batch 3)#16871
jskeet merged 2 commits intogoogleapis:mainfrom
jskeet:remove-name-pretty-override-8

Commits

Commits on Apr 29, 2026