[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#68294: [PATCH] Set the 'name' prop in 'define-advice'
|
From: |
Stefan Monnier |
|
Subject: |
bug#68294: [PATCH] Set the 'name' prop in 'define-advice' |
|
Date: |
Sun, 07 Jan 2024 09:58:51 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> In addition to naming the advice function 'symbol@name', set the 'name'
>> property to NAME. The code should be good, but I'm less sure about the
>> updated documentation.
>> Requested in Bug#68114.
>
> Stefan, any comments?
Sounds fine to me.
Stefan