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.
