Re: push parser

[Paul Eggert]

"Joel E. Denny" <[EMAIL PROTECTED]> writes:

> In summary, even though it's 
> redundant, the consistency of this extra quoting is easier on my head.  
> Is it ok with you?

Yes, it's fine.  I thought the old stuff was underquoted as well.
Thanks.