Re: master 13bd79e34f: Add more headers to default value of rmail-retry-ignored-headers.

[Sean Whitton]

Hello,

On Wed 21 Sep 2022 at 08:43AM -04, Richard M. Stallman wrote:

> branch: master
> commit 13bd79e34fc6085410057f669cea435f2d1d046a
> Author: Richard Stallman <rms@gnu.org>
> Commit: Richard Stallman <rms@gnu.org>
>
>     Add more headers to default value of rmail-retry-ignored-headers.
>
>     * rmail.el (rmail-retry-ignored-headers): Add more headers to default.
>     Don't bother with `purecopy'.  Split value readably.
> ---

Could this variable be merged with message-ignored-resent-headers?  I
can't see why we might want to have both.

-- 
Sean Whitton