Oh, you're right–that seems to be what's happening. I checked messages sent _only_ to the list, and they have the headers as expected. Unfortunately Gmail is still not showing the expected 'Unsubscribe' UI–no doubt part of their continuous A/B testing or something.

Regards,

Yawar

On Mon, Jan 4, 2021 at 4:08 PM Philippe Wang <mail@philippewang.info> wrote:
By any chance, did you check only for an email that was sent to both
the list and your gmail address? In which case, GMail merges the
different emails into a single email, so it could totally lose some
information.

I just checked for my present account on its GMail web interface and
the list-unsubscribe header is present.

Cheers
Philippe Wang

On Mon, Jan 4, 2021 at 11:42 AM Yawar Amin <yawar.amin@gmail.com> wrote:
>
> Actually, this is puzzling indeed–I notice there's no 'List-Unsubscribe' header in the messages that reach my Gmail inbox, but it _is_ present in the message that gets archived at e.g. https://inbox.ocaml.org/caml-list/CAH=h3gEOoMUBezUb3NoXvksX34ke3etP8=aScYeCzRc9p-ehrg@mail.gmail.com/raw
>
> And in fact Gmail is not showing the 'unsubscribe' UI that it normally would if it found the 'List-Unsubscribe' header. Looks like something is stripping out the 'List-*' and perhaps other headers before delivering them to Gmail.
>
> Regards,
>
> Yawar
>
> On Mon, Jan 4, 2021 at 1:33 PM Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
>>
>> On Mon, Jan 4, 2021 at 6:28 PM Yawar Amin <yawar.amin@gmail.com> wrote:
>>>
>>> Perhaps this mailing list can be configured to automatically add (to each message) instructions for unsubscribing? I.e. go to https://sympa.inria.fr/sympa/signoff/caml-list , enter your email address, and click to unsubscribe.
>>
>>
>> This used to be the case, but such rewriting of messages was causing problems with DKIM and other email integrity checking scheme.
>>
>> So, currently, we're just relying on subscribers to not be stupid and not send "unsubscribe" messages to the whole list.
>>
>> The proper "List-Unsubscribe" header is added to every message, and a working e-mail client should take advantage of it to offer an "unsubscribe from this mailing-list" option.
>>
>> Regards,
>>
>> - Xavier Leroy
>>
>>>
>>> Regards,
>>>
>>> Yawar
>>>
>>> On Mon, Jan 4, 2021 at 11:58 AM Van Chan Ngo <chan.ngo2203@gmail.com> wrote:
>>>>
>>>> Unsubscribe
>>>>
>>>> Sent from my iPhone
>>>>
>>>> > On Jan 4, 2021, at 11:44 AM, Adam Johnson <adamjohnson@nhyne.dev> wrote:
>>>> >
>>>> > unsubscribe



--
Philippe Wang
   mail@philippewang.info