> This patch is OK for Google branches. We'll need to update top of trunk > pubnames to match.
Thanks. Committed at r189822. For trunk, I wanted to take a longer look at fixing what's there to put the enumerators in pubnames. If that's not feasible, I'll just go with what I did here. -cary
