Hi Oswald,
>> In the real world, servers change headers, a bit.
>> Particularly the "Date:" one can be very different, as a string.
>> Even Message-Id is sometimes changed; not the human readable value
>> but case (uppercase, lowercase), spaces/tab are changed.
>>
> this presumably doesn't happen
On Mon, Jul 18, 2016 at 10:49:03AM +0200, Carlos Sánchez de La Lama wrote:
> [...]
>
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=782054
https://sourceforge.net/p/isync/mailman/isync-devel/thread/56DD3C3F.3000500%40gmail.com/
--