Kill last use of ggc_push_context/ggc_pop_context

[Zack Weinberg]

Mike Stump <mrs@apple.com> writes:

> On Oct 5, 2004, at 3:28 PM, Jeffrey A Law wrote:
>> OK.  Thanks for the clarification.  Consider my objection removed and
>> the patch approved.
>
> If we want to mandate that people never again play fast and loose with 
> push/pop context, it too should be removed, and all code that supports 
> it.

I think that's coming shortly.

zw