End of subscription

[Florian Weimer]

* Jonathan Wakely via Gcc:

> Unfortunately even the Gmail web UI doesn't offer an unsubscribe
> option, despite knowing the mails come from a list and showing:
>
> mailing list: gcc@gcc.gnu.org Filter messages from this mailing list

It does for me, under the ⏷ menu at the end of the recipient list in the
message pane.  Be sure that you select a message copy that you actually
received through the mailing list.

Thanks,
Florian