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

Reply via email to