Hi Stefan,

Stefan Monnier <[email protected]> writes:

> The patch below gets rid of the old `defadvice`, replacing it with
> `advice-add`.

Applied in the main branch as 6d73cd34a, thanks a lot!

-- 
 Bastien

Reply via email to