On 1/22/19 8:13 PM, Daniel Ruggeri wrote:
On 2019-01-22 11:39, Daniel Gruno wrote:
On 1/22/19 6:08 PM, Daniel Ruggeri wrote:
Hi, Cristophe;
    Thanks for the extra eye. Fortunately, this is expected behavior. Since the announcement goes out on some future date, the date is fixed up later in the announce.sh script.

Daniel, could you please make sure to add a Date: header to the
announcement emails that are sent out, so we don't have to rely on the
archives guessing the date? :) And, if possible, a Message-ID header
as well.

With regards,
other Daniel.

Hi, Daniel;
   No problem. Added in r1851853! I assume it's desirable to use the same Date and Message-ID headers for messages sent to different recipients (but with the same contents/subject/etc). This should facilitate correlating replies... but I'm not sure if it's technically "correct" to do.

Our archives don't really care, as they add the mailing list ID as part of the internal message id. Generally, if it's the same email but you have multiple To: lines in it, it's fine to have the same ID.

Reply via email to