bug#5573: 23.1; Please add Injection-* headers to message-ignored-supersedes-headers

[Lars Magne Ingebrigtsen]

Teemu Likonen <tlikonen@iki.fi> writes:

> There is a news server, namely eternal.september.org, which adds
> Injection-Date and Injection-Info headers to messages. When superseding
> such message the sending fails because the server does not want user to
> fill those headers, the server wants to do it. Supersede works if user
> removes those headers manually.
>
> So, I suggest adding the headers to message-ignored-supersedes-headers
> variable like the attached patch does.

Thanks you for the patch.  I've now applied it to the development
version of Gnus.

-- 
(domestic pets only, the antidote for overdose, milk.)
  larsi@gnus.org * Lars Magne Ingebrigtsen