Subject: Re: bug#68114: [PATCH] Make 'advice-remove' interactive

From: Eli Zaretskii <[email-masked]>
Date: Fri, 29 Dec 2023 22:12:13 +0200

> From: Steven Allen <[email-masked]>
> Date: Fri, 29 Dec 2023 11:57:12 -0800
> 
> This patch makes 'advice-remove' interactive to match
> 'ad-advice-remove'. Unlike 'ad-advice-remove', 'advice-remove' works
> with new-style advice as well.

Stefan, any comments?

In any case, this change needs a corresponding changes for
documentation and NEWS.

Thanks.