<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Dec 1, 2014 at 10:48 PM, Robert Helling <span dir="ltr"><<a href="mailto:helling@lmu.de" target="_blank">helling@lmu.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>I have sent this earlier today, but it did not reach the list somehow.</div></div></blockquote><div><br></div><div>I just received this one and interestingly  the mail's Date header says Dec1, but all the mail server logs state Dec3. On the other hand, the mail headers on the original attempt state that it was delivered on Dec1.<br><br>miika<br></div></div></div></div>