[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 37-fyi-rm-symbol-popdef-delete.patch
|
From: |
Akim Demaille |
|
Subject: |
Re: 37-fyi-rm-symbol-popdef-delete.patch |
|
Date: |
10 Sep 2001 09:43:40 +0200 |
|
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.4 (Artificial Intelligence) |
>>>>> "Gary" == Gary V Vaughan <address@hidden> writes:
Gary> On Fri, Sep 07, 2001 at 10:42:34AM +0200, Akim Demaille wrote:
>> I'm not sure how to remove the trailing ones.
Gary> Done. There is a little duplication of code between
Gary> builtin_pushdef and builtin_define which I'm not sure if we can
Gary> clean up.
Yep, that's why I hesitated removing it.