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.
--
Daniel Ruggeri